Wie beweist der Logiker? |
21.10.2011, 12:11 | Logisch | Auf diesen Beitrag antworten » |
Wie beweist der Logiker? Gl.: n + 1 = 2 . Wie beweist ein Logiker systematisch, daß die Lösung 1 ist bzw., wie leitet er die äquivalente Gleichung n = 1 ab ? |
||
21.10.2011, 12:19 | tmo | Auf diesen Beitrag antworten » |
1 ist eine Lösung der Gleichung (so ist gerade die Zahl 2 definiert). Da die Nachfolgerabbildung injektiv ist, kann es nur eine Lösung geben. Damit ist alles gezeigt. |
||
23.10.2011, 13:24 | Logisch | Auf diesen Beitrag antworten » |
Thema gehört in die Hochschulrubrik. Mit welcher Legitimation und wie darf äquivalent nach x = 1 „umgeformt“ werden. Gibt es überhaupt diese Umformung (so eine Art Sequenzenkalkül…) ? Wo ist die Umformungstheorie nachschlagbar? Danke. Weniger abstrakt n + m = m + 2 und n = 2. Wie lautet die Umformung nach n = 2. Warum darf man so umformen? |
||
23.10.2011, 13:28 | Pascal95 | Auf diesen Beitrag antworten » |
Eigentlich hat tmo schon alles gesagt. Guckst du auch : http://de.wikipedia.org/wiki/Peano-Axiome Injektivität der Nachfolgerabbildung: (4.) |
|