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

 
9786130664596: Foundations of Mathematics: Mathematics, Mathematical logic, Set theory, Proof theory, Model theory, Type theory, Computability theory, Philosophy of mathematics, Proposition
Couverture souple
ISBN 10 : 6130664591 ISBN 13 : 9786130664596
Editeur : 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?

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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?

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Alphascript Publishing
Date d'édition
2010
Langue
anglais
ISBN 10 
6130664591
ISBN 13 
9786130664596
Reliure
Broché
Nombre de pages
176
Éditeur
Miller Frederic P., Vandome Agnes F., McBrewster John
Coordonnées du fabricant
non disponible
Personne responsable
non disponible