Dungeon
发表于 2025-3-25 04:32:16
Sprache als ein Teil der MathematikDie moderne Logik verdankt ihr Entstehen einem wahrhaft grandiosen Traum, einem Traum, den schon . geträumt hat. Bevor ich Ihnen diesen Traum erzähle, lassen Sie mich die geschichtliche Situation beschreiben.
enfeeble
发表于 2025-3-25 08:24:33
Axiomatisierung durch KoordinatisierungNachdem wir also der euklidischen Geometrie die Pflicht auferlegt haben, als Distanzensystem den Körper IR der reellen Zahlen zu gebrauchen, ist diese wohl am einfachsten zu verstehen als zweidimensionaler Vektorraum E über IR. Die Distanzfunktion wird dann mit Hilfe des Skalarproduktes erklärt als . für beliebige x, y ∈ E.
ciliary-body
发表于 2025-3-25 12:08:52
Was ist eine Rechenvorschrift?Am Anfang der Algorithmik steht der Funktionsbegriff, genauer, der Begriff der berechenbaren Funktionen.
陪审团
发表于 2025-3-25 16:46:37
Hochschultexthttp://image.papertrans.cn/m/image/631652.jpg
Compatriot
发表于 2025-3-25 21:34:34
http://reply.papertrans.cn/64/6317/631652/631652_25.png
无能性
发表于 2025-3-26 00:55:50
Konkrete kombinatorische Algebren Körpers der reellen Zahlen, konstruiert mit Dedekindschen Schritten; sie ist also eine Konkretheit relativ zu einem unreflektiert übernommenen Substrat von naiver Mengenlehre. Aber also doch, und immerhin, so konkret, wie die Gegenstände der klassischen Mathematik eben sind.
放逐某人
发表于 2025-3-26 04:34:33
Auswahlaxiom und Kontinuumhypotheseeinzulassen, wenn er weise ist) als „Anschauung“ oder „Denken in Begriffen“ bezeichnen wird, andererseits der mathematische Formalismus, der durch Hinzunahme der Hilfsmittel der symbolischen Logik zu einem präzisen Instrument gemacht werden kann.
自作多情
发表于 2025-3-26 11:11:22
http://reply.papertrans.cn/64/6317/631652/631652_28.png
floaters
发表于 2025-3-26 16:04:44
http://reply.papertrans.cn/64/6317/631652/631652_29.png
缩影
发表于 2025-3-26 19:57:20
http://reply.papertrans.cn/64/6317/631652/631652_30.png