28-08-2013, 21:56
Gödels Gottesbeweis wurde auf logische Konsistenz mithilfe von Computern untersucht:
*http://www.heise.de/tp/artikel/39/39766/1.html
Die Überschrift ist natürlich Unsinn, und das steht im Text auch nicht.
Ich hätte aber auch ohne dieses Computerergebnis Gödel keine logische Inkonsistenz unterstellt.
Inwieweit trifft also zu, dass (wie im Artikel ausgesagt) Computer bei der Bewertung der "Richtigkeit" philosophischer Aussagen hilfreich sein können?
Ich bin da eher skeptisch.
*http://www.heise.de/tp/artikel/39/39766/1.html
Die Überschrift ist natürlich Unsinn, und das steht im Text auch nicht.
Ich hätte aber auch ohne dieses Computerergebnis Gödel keine logische Inkonsistenz unterstellt.
Inwieweit trifft also zu, dass (wie im Artikel ausgesagt) Computer bei der Bewertung der "Richtigkeit" philosophischer Aussagen hilfreich sein können?
Ich bin da eher skeptisch.