Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings
Book information
Description
This is a proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel. The conference has been recognized as an ASL sponsored meeting. Invited papers and contributed papers concern mainly mathematical logic but also philosophy of mathematics, computer science and physics and are devoted to topics related to Goedel's work and reflect the present state of knowledge domains deeply influenced by Goedel.
Similar books
Metamathematics of First-Order Arithmetic
2017 · PDF
Metamathematics of Fuzzy Logic (Trends in Logic, 4)
2001 · PDF
Novel Financial Applications of Machine Learning and Deep Learning: Algorithms, Product Modeling, and Applications
2023 · PDF
Functional Analysis and Infinite-Dimensional Geometry
2001 · DJVU
The Essentials of Machine Learning in Finance and Accounting
2021 · PDF
Metamathematics of Fuzzy Logic
DJVU
The Theory of Semisets
1972 · PDF
Metamathematics of First-Order Arithmetic
2017 · PDF