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

Groups > ger.ct > #386076

Re: KI - bedingt niedlich, dafür doof ...

From Carlo XYZ <carloxyz@invalid.invalid>
Newsgroups ger.ct
Subject Re: KI - bedingt niedlich, dafür doof ...
Date 2019-01-22 20:12 +0100
Organization ABC
Message-ID <q27puu$und$1@dont-email.me> (permalink)
References (3 earlier) <gab0tuFue7dU2@mid.individual.net> <9e41af99-4269-46fd-8e34-f81e275be881@googlegroups.com> <gaoiemFu09tU1@mid.individual.net> <q27ols$luf$1@dont-email.me> <q27p38$jkj$1@news.bawue.net>

Show all headers | View raw

Am 22.01.19 um 19:57 schrieb Gerrit Heitsch:

>>>> Die Hoffnung auf die Leistungen der KI sind genauso
>>>> wirklichkeitsfremd wie die Laienhafte Annahme, es gäbe
>>>> so etwas wie fehlerfreie Programme.
>>
>> Gibt es, sobald die Spezifikation hinreichend genau ist.
> 
> ... und du verifizieren kannst, daß das Programm auch wirklich zu 100% 
> der Spec entspricht.

Letzteres ist die Definition von Korrektheit.

Im Allgemeinen ist das unentscheidbar, zugegeben,
aber in jedem konkreten Fall im Prinzip machbar,
selbst wenn du so viele Jahre dafür benötigst,
dass sämtliche Universen darüber vergehen und
ein paar neue entstehen.

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

Thread

KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-16 17:14 -0800
  Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-17 09:13 +0100
    Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-17 09:29 +0100
      Re: KI - bedingt niedlich, dafür doof ... Hanno Foest <hurga-news2@tigress.com> - 2019-01-17 10:41 +0100
        Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-17 05:00 -0800
          Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-17 14:08 +0100
            Re: KI - bedingt niedlich, dafür doof ... Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2019-01-17 15:49 +0000
              Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-17 17:00 +0100
                Re: KI - bedingt niedlich, dafür doof ... Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2019-01-17 21:09 +0000
                Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-18 07:09 +0100
              Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-17 15:37 -0800
          Re: KI - bedingt niedlich, dafür doof ... Dr. Joachim Neudert <neudert@5sl.org> - 2019-01-17 13:12 +0000
            Re: KI - bedingt niedlich, dafür doof ... "Ralph A. Schmid, dk5ras" <ralph@schmid.xxx> - 2019-01-17 14:15 +0100
            Re: KI - bedingt niedlich, dafür doof ... Lars Gebauer <lars.gebauer@yahoo.de> - 2019-01-17 13:16 +0000
              Re: KI - bedingt niedlich, dafür doof ... Dr. Joachim Neudert <neudert@5sl.org> - 2019-01-17 13:22 +0000
                Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-17 14:28 +0100
                Re: KI - bedingt niedlich, dafür doof ... Dr. Joachim Neudert <neudert@5sl.org> - 2019-01-17 13:32 +0000
                Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-17 14:34 +0100
                Re: KI - bedingt niedlich, dafür doof ... Dr. Joachim Neudert <neudert@5sl.org> - 2019-01-17 13:39 +0000
                Re: KI - bedingt niedlich, dafür doof ... Ulf.Kutzner@web.de - 2019-01-17 05:42 -0800
                Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-17 05:53 -0800
                Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-17 15:45 +0100
                Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-17 15:34 -0800
              Re: KI - bedingt niedlich, dafür doof ... point@tipota.de (Siegfrid Breuer) - 2019-01-17 17:00 +0100
                Re: KI - bedingt niedlich, dafür doof ... "Ralph A. Schmid, dk5ras" <ralph@schmid.xxx> - 2019-01-18 09:46 +0100
                Re: KI - bedingt niedlich, dafür doof ... Lars Gebauer <lars.gebauer@yahoo.de> - 2019-01-18 11:08 +0000
            Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-17 14:16 +0100
              Re: KI - bedingt niedlich, dafür doof ... Dr. Joachim Neudert <neudert@5sl.org> - 2019-01-17 13:31 +0000
            Re: KI - bedingt niedlich, dafür doof ... point@tipota.de (Siegfrid Breuer) - 2019-01-17 17:00 +0100
              Re: KI - bedingt niedlich, dafür doof ... Siegfried Blos <usenet@siegfried-blos.de> - 2019-01-23 11:15 +0100
                Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-24 11:30 -0800
                Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-24 21:31 +0100
                Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-24 14:26 -0800
                Re: KI - bedingt niedlich, dafür doof ... Carlo XYZ <carloxyz@invalid.invalid> - 2019-01-24 23:43 +0100
          Re: KI - bedingt niedlich, dafür doof ... marc@invalid.invalid - 2019-01-17 15:05 +0100
          Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-17 20:35 +0100
            Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-17 15:41 -0800
              Re: KI - bedingt niedlich, dafür doof ... Dr. Joachim Neudert <neudert@5sl.org> - 2019-01-18 05:42 +0000
                Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-18 09:17 +0100
                Re: KI - bedingt niedlich, dafür doof ... "Ralph A. Schmid, dk5ras" <ralph@schmid.xxx> - 2019-01-18 09:47 +0100
                Re: KI - bedingt niedlich, dafür doof ... Stephan Bumberger <bumberger@gmx.de> - 2019-01-18 10:23 +0100
                Re: KI - bedingt niedlich, dafür doof ... Lars Gebauer <lars.gebauer@yahoo.de> - 2019-01-18 11:04 +0000
                Re: KI - bedingt niedlich, dafür doof ... "Ralph A. Schmid, dk5ras" <ralph@schmid.xxx> - 2019-01-18 12:12 +0100
                Re: KI - bedingt niedlich, dafür doof ... "Dr. Joachim Neudert" <neudert@5sl.org> - 2019-01-18 12:33 +0100
                Re: KI - bedingt niedlich, dafür doof ... spamfalle2@arcor.de (Marc Stibane) - 2019-01-18 13:05 +0100
                Re: KI - bedingt niedlich, dafür doof ... Stephan Bumberger <bumberger@gmx.de> - 2019-01-18 13:09 +0100
                Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-18 07:00 -0800
                Re: KI - bedingt niedlich, dafür doof ... Ruediger Lahl <ruediger.lahl@gmx.de> - 2019-01-18 17:39 +0100
                Re: KI - bedingt niedlich, dafür doof ... Lothar Frings <Lothar.Frings@gmx.de> - 2019-01-18 08:59 -0800
                Re: KI - bedingt niedlich, dafür doof ... Ulf.Kutzner@web.de - 2019-01-18 09:04 -0800
                Re: KI - bedingt niedlich, dafür doof ... "Dr. Joachim Neudert" <neudert@5sl.org> - 2019-01-18 18:30 +0100
                Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-18 20:01 +0100
                Re: KI - bedingt niedlich, dafür doof ... Lothar Frings <Lothar.Frings@gmx.de> - 2019-01-21 01:15 -0800
                Re: KI - bedingt niedlich, dafür doof ... Michael Zink <michael@swamp.franken.de> - 2019-02-11 18:31 +0100
                Re: KI - bedingt niedlich, dafür doof ... "Peter Heitzer" <peter.heitzer@rz.uni-regensburg.de> - 2019-01-21 08:07 +0000
                Re: KI - bedingt niedlich, dafür doof ... Carlo XYZ <carloxyz@invalid.invalid> - 2019-01-18 20:31 +0100
                Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-18 18:08 -0800
                Re: KI - bedingt niedlich, dafür doof ... "Dr. Joachim Neudert" <neudert@5sl.org> - 2019-01-18 18:28 +0100
                Re: KI - bedingt niedlich, dafür doof ... Lars Gebauer <lars.gebauer@yahoo.de> - 2019-01-18 11:01 +0000
              Re: KI - bedingt niedlich, dafür doof ... Lothar Frings <Lothar.Frings@gmx.de> - 2019-01-18 05:00 -0800
          Re: KI - bedingt niedlich, dafür doof ... Hermann Riemann <nospam.ng@hermann-riemann.de> - 2019-01-22 14:00 +0100
            Re: KI - bedingt niedlich, dafür doof ... Matthias Eißing <meissing@gmx.de> - 2019-01-22 14:10 +0100
              Re: KI - bedingt niedlich, dafür doof ... Hermann Riemann <nospam.ng@hermann-riemann.de> - 2019-01-22 17:48 +0100
                Re: KI - bedingt niedlich, dafür doof ... Matthias Eißing <meissing@gmx.de> - 2019-01-22 16:58 +0000
                Re: KI - bedingt niedlich, dafür doof ... Matthias Eißing <meissing@gmx.de> - 2019-01-22 16:59 +0000
            Re: KI - bedingt niedlich, dafür doof ... Lars Gebauer <lars.gebauer@yahoo.de> - 2019-01-22 13:34 +0000
              Re: KI - bedingt niedlich, dafür doof ... Hermann Riemann <nospam.ng@hermann-riemann.de> - 2019-01-22 17:52 +0100
            Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-22 06:51 -0800
              Re: KI - bedingt niedlich, dafür doof ... Lothar Frings <Lothar.Frings@gmx.de> - 2019-01-22 06:59 -0800
                Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-22 07:05 -0800
                Re: KI - bedingt niedlich, dafür doof ... Hermann Riemann <nospam.ng@hermann-riemann.de> - 2019-01-22 17:56 +0100
                Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-22 13:56 -0800
                Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-22 22:09 +0100
            Re: KI - bedingt niedlich, dafür doof ... Carlo XYZ <carloxyz@invalid.invalid> - 2019-01-22 19:50 +0100
              Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-22 19:57 +0100
                Re: KI - bedingt niedlich, dafür doof ... Carlo XYZ <carloxyz@invalid.invalid> - 2019-01-22 20:12 +0100
                Re: KI - bedingt niedlich, dafür doof ... Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2019-01-22 20:22 +0100
                Re: KI - bedingt niedlich, dafür doof ... Carlo XYZ <carloxyz@invalid.invalid> - 2019-01-22 20:32 +0100
            Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-22 22:07 +0100
              Re: KI - bedingt niedlich, dafür doof ... Dennis Preiser <d__p@d--p.de> - 2019-01-22 21:15 +0000
                Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-22 22:39 +0100
                Re: KI - bedingt niedlich, dafür doof ... Dennis Preiser <d__p@d--p.de> - 2019-01-23 08:42 +0000
              Re: KI - bedingt niedlich, dafür doof ... Herwig AQSR <herwig.huener@t-online.de> - 2019-01-22 13:58 -0800
                Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-23 08:20 +0100
                Re: KI - bedingt niedlich, dafür doof ... Dietz Proepper <dietz-news@rotfl.franken.de> - 2019-01-23 08:53 +0100
              Re: KI - bedingt niedlich, dafür doof ... Hermann Riemann <nospam.ng@hermann-riemann.de> - 2019-01-23 10:18 +0100

csiph-web