Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > ger.ct > #288414

Re: Zahlenrätsel mit Computer lösen

From Wolfgang Kynast <wky@gmx.de>
Newsgroups ger.ct
Subject Re: Zahlenrätsel mit Computer lösen
Date 2016-12-17 10:30 +0100
Message-ID <ebkeujF8gc0U1@mid.individual.net> (permalink)
References (3 earlier) <182fd474-cc0d-43e1-9caf-dd8eb981e1e5@googlegroups.com> <ok5m58swksu7$.dlg@prontosystems.org> <234cdc07-7a16-44b0-88b3-63b57713c593@googlegroups.com> <ebigjmFou5bU1@mid.individual.net> <8763c0a1-5ebb-49b5-85ae-65ed5b61188f@googlegroups.com>

Show all headers | View raw

On Fri, 16 Dec 2016 16:26:56 -0800 (PST), "Herwig AQSR" posted:

>2016-12-16 01:27:00 +0100
>
>> ...
>
>> >Nochmal zum Mitmeisseln: Es gibt keine fehlerfreien Programme!
>> 
>> Aber sicher doch. Noch nie was vom "Beweisen von Programmen" gehört?
>
>Das ist BlödSinn. Der Vorgang der BeweisFührung ist ein RechenProzess - und
>der kann auch fehlerhaft sein!

Na gut, wenn du Mathematik und Logik anzweifelst ...

Du hast dich offensichtlich nie mit dem Thema befaßt.

-- 
Schöne Grüße,
Wolfgang

Back to ger.ct | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Zahlenrätsel mit Computer lösen Thomas Wildgruber <excpronto@web.de> - 2016-12-14 14:04 +0100
  Re: Zahlenrätsel mit Computer lösen "Peter Heitzer" <peter.heitzer@rz.uni-regensburg.de> - 2016-12-14 13:30 +0000
  Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-14 14:44 +0100
    Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-14 14:48 +0100
      Re: Zahlenrätsel mit Computer lösen Thomas Wildgruber <excpronto@web.de> - 2016-12-14 15:03 +0100
      Re: Zahlenrätsel mit Computer lösen Dorothee Hermann <DorotheeHermann@gmx.net> - 2016-12-14 16:35 +0100
        Re: Zahlenrätsel mit Computer lösen Mike Grantz <beatclubs@stoiseland.de> - 2016-12-14 18:34 +0100
    Re: Zahlenrätsel mit Computer lösen Thomas Wildgruber <excpronto@web.de> - 2016-12-14 15:00 +0100
      Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-14 15:29 +0100
  Re: Zahlenraetsel mit Computer loesen Thomas Wildgruber <excpronto@web.de> - 2016-12-14 16:18 +0100
    Re: Zahlenraetsel mit Computer loesen Frank Klingenhoefer <frank.private@t-online.de> - 2016-12-14 18:17 +0100
    Re: Zahlenraetsel mit Computer loesen Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2016-12-16 07:31 +0000
  Re: Zahlenraetsel mit Computer loesen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-14 18:28 +0100
  Re: Zahlenrätsel mit Computer lösen Herwig AQSR <herwig.huener@t-online.de> - 2016-12-14 11:26 -0800
    Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-14 20:36 +0100
      Re: Zahlenrätsel mit Computer lösen Herwig AQSR <herwig.huener@t-online.de> - 2016-12-14 13:07 -0800
        Re: Zahlenrätsel mit Computer lösen Dennis Preiser <d__p@d--p.de> - 2016-12-14 21:24 +0000
        Re: Zahlenrätsel mit Computer lösen Thomas Wildgruber <excpronto@web.de> - 2016-12-15 09:16 +0100
          Re: Zahlenrätsel mit Computer lösen Gottfried Helms <helms@uni-kassel.de> - 2016-12-15 13:32 +0100
          Re: Zahlenrätsel mit Computer lösen Herwig AQSR <herwig.huener@t-online.de> - 2016-12-15 16:02 -0800
            Re: Zahlenrätsel mit Computer lösen Wolfgang Kynast <wky@gmx.de> - 2016-12-16 16:46 +0100
              Re: Zahlenrätsel mit Computer lösen Herwig AQSR <herwig.huener@t-online.de> - 2016-12-16 16:26 -0800
                Re: Zahlenrätsel mit Computer lösen Wolfgang Kynast <wky@gmx.de> - 2016-12-17 10:30 +0100
        Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-15 09:44 +0100
          Re: Zahlenrätsel mit Computer lösen Dorothee Hermann <DorotheeHermann@gmx.net> - 2016-12-15 10:34 +0100
            Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-15 13:59 +0100
            Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-15 14:49 +0100
              Re: Zahlenrätsel mit Computer lösen Diedrich Ehlerding <diedrich.ehlerding@t-online.de> - 2016-12-15 18:39 +0100
                Re: Zahlenrätsel mit Computer lösen Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2016-12-15 18:21 +0000
                Re: Zahlenrätsel mit Computer lösen Diedrich Ehlerding <diedrich.ehlerding@t-online.de> - 2016-12-15 19:26 +0100
                Re: Zahlenrätsel mit Computer lösen Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2016-12-16 07:30 +0000
                Re: Zahlenrätsel mit Computer lösen Diedrich Ehlerding <diedrich.ehlerding@t-online.de> - 2016-12-16 19:24 +0100
                Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-16 20:26 +0100
                Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-16 20:28 +0100
                Re: Zahlenrätsel mit Computer lösen Bernd Mayer <beam.bam.boom@knuut.de> - 2016-12-16 20:36 +0100
                Re: Zahlenrätsel mit Computer lösen Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2016-12-17 09:27 +0000
                Re: Zahlenrätsel mit Computer lösen Diedrich Ehlerding <diedrich.ehlerding@t-online.de> - 2016-12-17 10:49 +0100
          Re: Zahlenrätsel mit Computer lösen Mike Grantz <beatclubs@stoiseland.de> - 2016-12-15 11:53 +0100
            Re: Zahlenrätsel mit Computer lösen Gottfried Helms <helms@uni-kassel.de> - 2016-12-15 13:36 +0100
        Re: Zahlenrätsel mit Computer lösen Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2016-12-15 08:56 +0000
          Re: Zahlenrätsel mit Computer lösen Andreas Karrer <ak-6b@gmx.ch> - 2016-12-15 10:26 +0000
            Re: Zahlenrätsel mit Computer lösen Mike Grantz <beatclubs@stoiseland.de> - 2016-12-15 11:58 +0100
          Re: Zahlenrätsel mit Computer lösen Mike Grantz <beatclubs@stoiseland.de> - 2016-12-15 11:55 +0100
      Forum vs Usenet (was:Re: Zahlenrätsel mit Computer lösen) Mike Grantz <beatclubs@stoiseland.de> - 2016-12-15 11:47 +0100
        Re: Forum vs Usenet (was:Re: Zahlenrätsel mit Computer lösen) Holger Marzen <holger@marzen.de> - 2016-12-15 10:53 +0000
          Re: Forum vs Usenet  "Ulrich F. Heidenreich" <from!not-for-mail@tremornet.de> - 2016-12-15 12:33 +0100
        Re: Forum vs Usenet (was:Re: Zahlenrätsel mit Computer lösen) Thomas Wildgruber <excpronto@web.de> - 2016-12-15 13:40 +0100
        Re: Forum vs Usenet Gottfried Helms <helms@uni-kassel.de> - 2016-12-15 13:42 +0100
        Re: Forum vs Usenet (was:Re: Zahlenrätsel mit Computer lösen) Rainer Wahl <usnet.10.boof@spamgourmet.com> - 2016-12-15 17:10 +0100
          Re: Forum vs Usenet  "Ulrich F. Heidenreich" <from!not-for-mail@tremornet.de> - 2016-12-15 18:07 +0100
            Re: Forum vs Usenet "Dr. Joachim Neudert" <neudert@5sl.org> - 2016-12-16 08:58 +0100
  Re:Zahlenrätsel mit Computer lösen Volker Neurath  <volker.neurath@gmx.de> - 2016-12-18 22:34 +0100
    Re: Zahlenrätsel mit Computer lösen Lothar Frings <Lothar.Frings@gmx.de> - 2016-12-18 22:55 -0800
    Re: Zahlenrätsel mit Computer lösen Matthias Eißing <meissing@gmx.de> - 2016-12-19 09:44 +0100
      Re: Zahlenrätsel mit Computer lösen Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2016-12-19 10:05 +0000

csiph-web