Philosophie Lexikon der Argumente

Suche  
 
Addition: Grundrechenart, die meist durch Assoziativität und Kommutativität sowie ein neutrales Nullelement gekennzeichnet ist.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Berka I 122
Addition/Disjunktion/Vereinigung/Hilbert: die Addition der Zahlen lässt sich auf die Disjunktion von Prädikaten zurückführen. - Sind F und G unverträgliche Prädikate, und kommt dem Prädikat F die Zahl m und dem G die Zahl n zu, so entspricht dem Prädikat F v G die Zahl m + n. ((s) > Vereinigung).
Erweiterter Funktionenkalkül: damit werden Zahlengleichungen wie 1 + 1 = 2 zu rein logischen, beweisbaren Sätzen. Bsp 1 + 1 = 2, logische Form:

(F)(G)([Unv (F,G) & 1(F) & 1(G)] > 2(F v G)).

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Hilbert



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 26.05.2017