Foundations of Mathematics: Mathematics, Mathematical logic, Set theory, Proof theory, Model theory, Type theory, Computability theory, Philosophy of mathematics, Proposition - Softcover

 
9786130664596: Foundations of Mathematics: Mathematics, Mathematical logic, Set theory, Proof theory, Model theory, Type theory, Computability theory, Philosophy of mathematics, Proposition

Inhaltsangabe

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Foundations of mathematics is a term sometimes used for certain fields of mathematics, such as mathematical logic, axiomatic set theory, proof theory, model theory, type theory and recursion theory. The search for foundations of mathematics is also a central question of the philosophy of mathematics: On what ultimate basis can mathematical statements be called true?

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Foundations of mathematics is a term sometimes used for certain fields of mathematics, such as mathematical logic, axiomatic set theory, proof theory, model theory, type theory and recursion theory. The search for foundations of mathematics is also a central question of the philosophy of mathematics: On what ultimate basis can mathematical statements be called true?

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.