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


Groups > ger.ct > #219871

Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic)

From Herwig Huener AQSR 5 <Herwig.Huener@t-online.de>
Newsgroups ger.ct
Subject Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic)
Date 2015-09-05 01:53 +0200
Organization albasani.net
Message-ID <msdatm$58v$2@news.albasani.net> (permalink)
References <msafon$10m$1@news.albasani.net> <d4tjdlFphmiU1@mid.individual.net> <d4u8hsF89nU2@mid.individual.net> <msd1dq$ngd$1@news.albasani.net>

Show all headers | View raw


2015-09-05 01:54:00 +0200

Florian Maier wrote:

> ...

>> Wenn eine code Stelle erneut durchlaufen wird,
>> wird die Zeitscheibe (und Priorität) reduziert.
> 
> Versteh' ich das richtig, du willst die am öftesten genutzten
> Codestellen am langsamsten machen? Das ist ein... sagen wir mal
> "interessantes" Optimierungskonzept. Wieviel bezahlen dir die
> Hardware-Hersteller für dein Consulting?

Es geht hier um prinzipielle Überlegungen - und damit hat
Hermann Recht. Praktikable Lösungen ergeben sich daraus nicht.

An einer Stelle allerdings hat er nicht Recht: Wir
gingen in diesem Thread davon aus, dass die Überlegungen
zur BuchFührung über die durchlaufenen CodeSequenzen
korrekt sind. Es gibt aber keine Methode, die
Korrektheit von Überlegungen zu beweisen - ausser
anderen Überlegungen. Und deren Korrektheit muss
man wieder beweisen. Und so weiter.

Aufgrund der Überlegungen in den letzten paar Zeilen
könnte man zu der Ansicht gelangen, dass das
HalteProblem noch nicht genügend verstanden worden
ist. Und damit können wir uns jede weiter Überlegung
ersparen - zu einem endgültig sicheren Ergebniss
werden wir nie kommen. Nirgends.

Tut mir leid. Da kommen Informatik und Neurologie zum
selben Ergebnis: Nichts genaues weiss man nicht. Und
das nicht einmal notwendig in endlicher Zeit.

Ist das nicht ein schönes Ergebnis, dass "Ich denke,
also bin ich" eine fehlerhafte Überlegung sein kann?

Die umgekehrte Implikation "A ist, also denkt A"
gilt übrigens - in weitgehender Übereinstimmung aller,
die denken, dass sie denken können, nicht.

Herwig

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


Thread

Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-03 23:57 +0200
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Rainer Fonrobert <rfonrobert@vodafone.de> - 2015-09-04 00:18 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-04 10:50 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Mike Grantz <beatclubs@stoiseland.de> - 2015-09-05 17:50 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Rainer Fonrobert <rfonrobert@vodafone.de> - 2015-09-05 22:59 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Mike Grantz <beatclubs@stoiseland.de> - 2015-09-05 23:27 +0200
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2015-09-04 06:14 +0000
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-04 10:56 +0200
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) "Dr. Joachim Neudert" <neudert@5sl.org> - 2015-09-04 08:19 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-04 11:04 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Günter Frenz <usenet-01@guefz.de> - 2015-09-04 23:14 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-05 01:44 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 02:15 -0700
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-03 23:49 -0700
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-03 23:51 -0700
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-04 11:09 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 02:19 -0700
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Hermann Riemann <nospam.ng@hermann-riemann.de> - 2015-09-04 21:10 +0200
  Re:Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Volker Neurath  <volker.neurath@gmx.de> - 2015-09-04 15:08 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 06:28 -0700
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Kynast <wky@gmx.de> - 2015-09-04 16:51 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 08:26 -0700
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2015-09-04 15:38 +0000
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-04 10:02 -0700
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Volker Neurath <neanderix@gmx.de> - 2015-09-04 22:48 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-05 17:23 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Volker Neurath <neanderix@gmx.de> - 2015-09-05 18:56 +0200
          Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Enzinger <we_usenet@nurfuerspam.de> - 2015-09-05 23:41 +0200
            Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-06 00:19 +0200
              Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Enzinger <we_usenet@nurfuerspam.de> - 2015-09-06 00:39 +0200
                Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-06 01:08 +0200
                Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Emil Schuster <emil@wieslauf.sub.de> - 2015-09-06 08:20 +0200
                Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-06 12:51 +0200
                Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Emil Schuster <emil@wieslauf.sub.de> - 2015-09-06 13:59 +0200
            Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) "Michael Landenberger" <spameimer052006@arcor.de> - 2015-09-06 11:43 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Lothar Frings <Lothar.Frings@gmx.de> - 2015-09-06 07:31 -0700
    Re:Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Hermann Riemann <nospam.ng@hermann-riemann.de> - 2015-09-04 21:06 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Karsten Düsterloh <trash@tprac.de> - 2015-09-04 22:00 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Florian Maier <holeinone5@gmx.net> - 2015-09-04 23:11 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2015-09-04 21:58 +0000
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-05 01:53 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Volker Neurath <neanderix@gmx.de> - 2015-09-04 22:42 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Michael Bode <m.g.bode@web.de> - 2015-09-05 15:28 +0200
  Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Enzinger <we_usenet@nurfuerspam.de> - 2015-09-05 14:44 +0200
    Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Rainer Fonrobert <rfonrobert@vodafone.de> - 2015-09-05 23:18 +0200
      Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Wolfgang Enzinger <we_usenet@nurfuerspam.de> - 2015-09-05 23:51 +0200
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Rainer Fonrobert <rfonrobert@vodafone.de> - 2015-09-06 00:27 +0200
          Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Stefan+Usenet@Froehlich.Priv.at (Stefan Froehlich) - 2015-09-06 07:09 +0000
        Re: Programmieren wird illegal - oder auch nicht. (lang, aber ontopic) Herwig Huener AQSR 5 <Herwig.Huener@t-online.de> - 2015-09-06 00:28 +0200

csiph-web