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
Softcover
ISBN 10: 6130664591 ISBN 13: 9786130664596
Publisher: Alphascript Publishing, 2010

Synopsis

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?

"synopsis" may belong to another edition of this title.

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?

"About this title" may belong to another edition of this title.

Publisher
Alphascript Publishing
Publication date
2010
Language
English
ISBN 10 
6130664591
ISBN 13 
9786130664596
Binding
Tapa blanda
Number of pages
176
Editor
Miller Frederic P., Vandome Agnes F., McBrewster John