ISBN: 9789401736169
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it… Meer...
Orellfuessli.ch Nr. A1038307602. Verzendingskosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 17.67) Details... |
ISBN: 9789401736169
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of… Meer...
hive.co.uk No. 9789401736169. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten Details... |
2013, ISBN: 9789401736169
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it… Meer...
Thalia.de Nr. 44310208. Verzendingskosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
ISBN: 9789401736169
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it… Meer...
Springer.com Nr. 978-94-017-3616-9. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9789401736169
; ; Politics, Philosphy & Religion > Philosophy > Philosophy: logic; GBP
hive.co.uk No. 9789401736169. Verzendingskosten:, , zzgl. Versandkosten., exclusief verzendingskosten Details... |
bij Orellfuessli.ch
ISBN: 9789401736169
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it… Meer...
ISBN: 9789401736169
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of… Meer...
2013
ISBN: 9789401736169
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it… Meer...
ISBN: 9789401736169
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it… Meer...
ISBN: 9789401736169
; ; Politics, Philosphy & Religion > Philosophy > Philosophy: logic; GBP
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Truth, Proof and Infinity
EAN (ISBN-13): 9789401736169
Verschijningsjaar: 2013
Uitgever: Springer Netherlands
Boek bevindt zich in het datenbestand sinds 2017-01-05T16:26:22+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-20T13:17:13+01:00 (Amsterdam)
ISBN/EAN: 9789401736169
ISBN - alternatieve schrijfwijzen:
978-94-017-3616-9
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: fletcher, andre koch
Titel van het boek: proof theory, infinity
Gegevens van de uitgever
Auteur: P. Fletcher
Titel: Synthese Library; Truth, Proof and Infinity - Studies in Epistemology, Logic, Methodology, and Philosophy of Science; A Theory of Constructive Reasoning
Uitgeverij: Springer; Springer Netherland
470 Bladzijden
Verschijningsjaar: 2013-06-29
Dordrecht; NL
Taal: Engels
181,89 € (DE)
187,00 € (AT)
212,50 CHF (CH)
Available
X, 470 p.
EA; E107; eBook; Nonbooks, PBS / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Arithmetic; algorithms; constructivism; logic; programming language; proof; sequent calculus; set theory; B; Logic; Mathematical Logic and Foundations; Theory of Computation; Philosophy of Science; Religion and Philosophy; Mathematik: Logik; Mathematische Grundlagen; Theoretische Informatik; Wissenschaftsphilosophie und -theorie; BB
1. Introduction and Statement of the Problem.- 2. What’s Wrong with Set Theory?.- 3. What’s Wrong with Infinite Quantifiers?.- 4. Abstraction and Idealisation.- 5. What are Constructions?.- 6. Truth and Proof of Logical Formulae.- 7. The Need for a Theory of Constructions.- 8. Theories of Constructions.- 9. Hilbert’s Formalism.- 10. Open-endedness.- 11. Analysis.- 12. Introduction to Part II.- 13. Design of the Term Language.- 14. The Term Language.- 15. From the Term Language to the Expanded Term Language.- 16. The Expanded Term Language.- 17. The Protological Sequent Calculus.- 18. Commentary on the Protological Axioms and Rules.- 19. From Protologic to Expanded Protologic.- 20. Expanded Protologic.- 21. From Expanded Protologic to the Coding of Trees.- 22. The Coding of Trees.- 23. The Expanded Term Language as a Functional Programming Language.- 24. Introduction to Part III.- 25. From the Coding of Trees to Logic.- 26. Logic.- 27. From Logic to the Calculus of Proof Functions.- 28. Calculus of Proof Functions.- 29. From Calculus of Proof Functions to the Logic of Partial Terms.- 30. Logic of Partial Terms.- 31. From Logic of Partial Terms to Heyting Arithmetic.- 32. Heyting Arithmetic.- 33. From Heyting Arithmetic to Peano Arithmetic.- 34. Peano Arithmetic.- 35. Conclusions on Arithmetic.- 36. Introduction to Part IV.- 37. From Expanded Protologic to the Second-Order Coding of Trees.- 38. The Second-Order Coding of Trees.- 39. From the Second-Order Coding of Trees to Second-Order Logic.- 40. Second-Order Logic.- 41. From Second-Order Logic to Second-Order Calculus of Proof Functions.- 42. Second-Order Calculus of Proof Functions.- 43. From Second-Order Calculus of Proof Functions to Second-Order Logic of Partial Terms.- 44. Second-Order Logic of PartialTerms.- 45. From Second-Order Logic of Partial Terms to Second-Order Heyting Arithmetic.- 46. Second-Order Heyting Arithmetic.- 47. From Second-Order Heyting Arithmetic to Second-Order Peano Arithmetic.- 48. Second-Order Peano Arithmetic.- 49. Conclusions on Analysis.- References.- Index of symbols.- Index of axioms, theorems and rules of inference.- Index of names.- Index of topics.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789048151059 Truth, Proof and Infinity: A Theory of Constructive Reasoning P. Fletcher Author (Fletcher, P.)
< naar Archief...