Kurt Gödel und die mathematische Logik

Description

Viele Leute glauben seither, der Gödelsche Beweis (wie er allseits liebevoll genannt wird) sei einer der schwersten Beweise in der Mathematik. Davon kann jedoch überhaupt keine Rede sein. Andre Wiles Beweis des "großen Fermat" ist ...

Get the book

Amazon.com

Search the book

eBay.com

Search the book

Similar books

• 

  To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism

  By J. Roger Hindley, J. P. Seldin

  To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism

• 

  Prophecy and Dissent, 1914-16

  By Bertrand Russell

  Brynmor Jones Library , Hull University for the Records of the Union of Democratic Control ; the British ... the E. D. Morel letters and the Graham Wallas letters ) ; King's College , Cambridge ( the letters of Goldsworthy Lowes ...

• 

  数理逻辑实验教程

  By 李娜

  本书共分三个部分,第一部分介绍了一些在线的逻辑软件的使用以及逻辑软件LPL Software的使用;第二部部分介绍了命题逻辑;第三部分介绍了量词逻辑.

• 

  哲学研究

  By 维特根斯坦

  本书是作者从事哲学研究积淀下来的思想, 这种课题:含义, 理解, 命题, 逻辑等概念, 数学基础, 意识状态, 等等.

• 

  The Collected Works of Ludwig Wittgenstein

  By Ludwig Wittgenstein

  The Collected Works of Ludwig Wittgenstein

• 

  逻辑哲学论

  By 维特根斯坦

  本书从符号系统的原则和任何语言中词和事物之间必须具有的关系出发, 将这种考察的结果应用于传统哲学的各部分.

• 

  Logos: Introduction to Symbolic Logic

  By Nicholas T. Habib

  P : Penny is a physician R : Ralph is a physician The argument presented in SL is : ~ ( PvR ) ~ P The truth table analysis is : Pr Cn P R PVR ~ ( PVR ) ~ P T T T F F T F T F F FT T F T F F F T T By looking carefully at the truth table ...

• 

  Transition to Higher Mathematics: Structure and Proof

  By John Edward McCarthy, Bob A. Dumas

  This book is written for students who have taken calculus and want to learn what "real mathematics" is.

• 

  数理逻辑

  By 王兵山

  研究生教材

• 

  Introduction to Mathematical Logic and Resolution Principle

  By Guo-Jun Wang, Hong-Jun Zhou

  Introduction to Mathematical Logic and Resolution Principle