esculent
发表于 2025-3-30 09:18:00
Das Diagonalargument, Liste mit erstem, zweiten, dritten Element und so weiter anordnen lassen. Tatsächlich ist es schwierig, sich auf irgendeine andere Art ein Bild von der Unendlichkeit zu machen als durch Zählen. Doch im Jahr 1874 zeigte der deutsche Mathematiker Georg Cantor, dass die Unendlichkeit komplizierter ist
gruelling
发表于 2025-3-30 12:53:24
http://reply.papertrans.cn/103/10203/1020238/1020238_52.png
SOB
发表于 2025-3-30 17:56:18
http://reply.papertrans.cn/103/10203/1020238/1020238_53.png
提炼
发表于 2025-3-30 22:57:15
Berechenbarkeit und Beweis,rozess, der im Prinzip auch automatisch ablaufen kann. Das bedeutet aber, dass formale Systeme selbst mathematische Strukturen sind, über die Sätze bewiesen werden können. Der berühmteste Satz dieses Typs ist ., der besagt, dass jedes konsistente System für die Arithmetik bei dem Beweis mancher wahr
Ancestor
发表于 2025-3-31 02:20:38
Berechenbarkeit und Beweis,rozess, der im Prinzip auch automatisch ablaufen kann. Das bedeutet aber, dass formale Systeme selbst mathematische Strukturen sind, über die Sätze bewiesen werden können. Der berühmteste Satz dieses Typs ist ., der besagt, dass jedes konsistente System für die Arithmetik bei dem Beweis mancher wahr
cumber
发表于 2025-3-31 08:33:39
Logik,owie der . „für alle .“ und „es gibt ein .“). Man könnte sagen, dass die Aussagenlogik der „endliche Anteil“ der Prädikatenlogik ist. Beide Arten der Logik sind . und .: Sie erzeugen keine Widersprüche und beweisen alle gültigen Aussagen, also alle Aussagen, die unter jeder Interpretation der Variab