Autor |
Beitrag |
grap
| Veröffentlicht am Mittwoch, den 10. Oktober, 2001 - 15:36: |
|
kennt vielleicht jemand eine Mathe Programm, mit dem man mathematische Aussagen auf Ihren Wahrheitsgehalt prüfen kann ? Bsp: für alle X Elemt R gilt ( es existiert mindestens ein n Element N ( x+n > 0)); Das beschert mir Kopfschmerzen. Obwohl einfach muß ich fragen, ob es nachvollziehbar ist, oder ob die Klammer die Aussage umkehrt ? |
J
| Veröffentlicht am Donnerstag, den 11. Oktober, 2001 - 08:37: |
|
Wenn ich mich recht erinnere, dann hat Kurt Gödel bewiesen, dass es in der mathematik unentscheidbare Aussagen gibt. Wenn es also aussagen gibt, von denen prinzipiell nicht entschieden werden kann, ob sie wahr oder falsch sind, dann kann das natürlich auch kein computerprogramm. Du musst dich also bei jeder aussage selbst anstrengen! Das von dir angegebene beispiel ist eine direkte folgerung aus demr 'Satz von Archimedes' Wie der bewiesen werden kann, hängt unter anderem davon ab, wie man die reellen zahlen eingeführt hat. Schau in der fachliteratur unr 'Satz von Archimedes' nach! Gruß J |
|