ordain
发表于 2025-3-25 03:38:32
http://reply.papertrans.cn/27/2662/266144/266144_21.png
PRE
发表于 2025-3-25 11:22:05
,Berechenbarkeit und Entscheidbarkeit, und Irrationalzahlen“ und „Was sind und was sollen die Zahlen?“ die grundlegenden Eigenschaften der natürlichen Zahlen auf ein solides Fundament gestellt und den Aufbau des Zahlsystems mit den ganzen, rationalen und reellen Zahlen aus den natürlichen Zahlen heraus definiert. Eine seiner wichtigsten
Acquired
发表于 2025-3-25 13:24:53
,Deduktive Systeme und Unvollständigkeit,hergeleitet. Euklids einflussreiches Buch „Elemente“ ist Ausdruck dieser Kultur. Aus heutiger Sicht liegt jedem mathematischen Beweis ein syntaktischer Kalkül zugrunde, den wir als deduktives System bezeichnen. Dieses Konzept umfasst eine formale Sprache und logische Schlussregeln. Nach Weiterentwic
强化
发表于 2025-3-25 17:29:41
Kategorientheorie,turelle mathematische Denken auf abstrakte Weise und eignet sich gut für die Begründung einer mathematischen Semantik. Richard Dedekind hat in gewisser Weise den Strukturalismus in der Mathematik begründet. Er erkannte, dass mathematische Objekte, wie zum Beispiel die Zahlen, viele isomorphe Mengenr
Urea508
发表于 2025-3-25 21:20:12
http://reply.papertrans.cn/27/2662/266144/266144_25.png
GOAD
发表于 2025-3-26 03:06:42
http://reply.papertrans.cn/27/2662/266144/266144_26.png
显赫的人
发表于 2025-3-26 06:47:44
http://reply.papertrans.cn/27/2662/266144/266144_27.png
全面
发表于 2025-3-26 09:14:42
http://reply.papertrans.cn/27/2662/266144/266144_28.png
我还要背着他
发表于 2025-3-26 13:48:35
C-Programme aus verschiedenen Bereichen,spiration für mathematische Konzepte. Im Grunde ist sie jedoch eine a priori Wissenschaft, denn sie beruht weder auf Erfahrung noch auf anderen Voraussetzungen. Ihre einfachsten Grundzüge scheinen in unserem Gehirn evolutionär angelegt zu sein.
COLIC
发表于 2025-3-26 18:13:31
http://reply.papertrans.cn/27/2662/266144/266144_30.png