Great Circle of Mysteries Mathematics, the World, the Mind /

Great Circle of Mysteries Mathematics, the World, the Mind /

This visionary and engaging book provides a mathematical perspective on the fundamental ideas of numbers, space, life, evolution, the brain and the mind. The author suggests how a development of mathematical concepts in the spirit of category theory may lead to unravelling the mystery of the human m...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gromov, Misha (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Birkhäuser, 2018.
Έκδοση:	1st ed. 2018.
Θέματα:	Mathematical logic. Mathematical Logic and Foundations.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Incompleteness for Higher-Order Arithmetic An Example Based on Harrington's Principle /
ανά: Cheng, Yong, κ.ά.
Έκδοση: (2019)

An Introduction to the Technique of Formative Processes in Set Theory
ανά: Cantone, Domenico, κ.ά.
Έκδοση: (2018)

Logica Volume 2 - Incompletezza, teoria assiomatica degli insiemi /
ανά: Abrusci, Vito Michele, κ.ά.
Έκδοση: (2018)

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy /
ανά: de Haan, Ronald, κ.ά.
Έκδοση: (2019)

Feferman on Foundations Logic, Mathematics, Philosophy /
Έκδοση: (2017)

The Lvov-Warsaw School. Past and Present
Έκδοση: (2018)

The Hyperuniverse Project and Maximality
Έκδοση: (2018)

Hilary Putnam on Logic and Mathematics
Έκδοση: (2018)

Generalized Quantifiers and Computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures /
Έκδοση: (1999)

Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /
Έκδοση: (2000)

Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
Έκδοση: (1997)

Introduction to Discrete Mathematics via Logic and Proof
ανά: Jongsma, Calvin, κ.ά.
Έκδοση: (2019)

A Model-Theoretic Approach to Proof Theory
ανά: Kotlarski, Henryk, κ.ά.
Έκδοση: (2019)

Theory of Graded Consequence A General Framework for Logics of Uncertainty /
ανά: Chakraborty, Mihir Kumar, κ.ά.
Έκδοση: (2019)

Loeb Measures in Practice: Recent Advances EMS Lectures 1997 /
ανά: Cutland, Nigel J., κ.ά.
Έκδοση: (2000)

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
ανά: Di Nasso, Mauro, κ.ά.
Έκδοση: (2019)

Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers /
Έκδοση: (1997)

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018)

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018)

Intuitionistic Fuzzy Sets Theory and Applications /
ανά: Atanassov, Krassimir T., κ.ά.
Έκδοση: (1999)

Logical Structures for Representation of Knowledge and Uncertainty
ανά: Hisdal, Ellen, κ.ά.
Έκδοση: (1998)

Contextualism, Factivity and Closure A Union That Should Not Take Place? /
ανά: Leardi, Stefano, κ.ά.
Έκδοση: (2018)

Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level /
ανά: Rahman, Shahid, κ.ά.
Έκδοση: (2018)

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Έκδοση: (2018)

Mathesis Universalis, Computability and Proof
Έκδοση: (2019)

Heyting Algebras Duality Theory /
ανά: Esakia, Leo, κ.ά.
Έκδοση: (2019)

Graham Priest on Dialetheism and Paraconsistency
Έκδοση: (2019)

New Essays on Belnap-Dunn Logic
Έκδοση: (2019)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
ανά: Dalla Chiara, Maria Luisa, κ.ά.
Έκδοση: (2018)

Combinatorial Set Theory of C*-algebras
ανά: Farah, Ilijas, κ.ά.
Έκδοση: (2019)

Evolving Rule-Based Models A Tool for Design of Flexible Adaptive Systems /
ανά: Angelov, Plamen P., κ.ά.
Έκδοση: (2002)

Fuzzy Lie Algebras
ανά: Akram, Muhammad, κ.ά.
Έκδοση: (2018)

Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
Έκδοση: (2003)

Philosophical and Mathematical Logic
ανά: de Swart, Harrie, κ.ά.
Έκδοση: (2018)

Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht /
Έκδοση: (1997)

Towards Efficient Fuzzy Information Processing Using the Principle of Information Diffusion /
ανά: Huang, Chongfu, κ.ά.
Έκδοση: (2002)

Contradictions, from Consistency to Inconsistency
Έκδοση: (2018)

Exploring Meinong's Jungle and Beyond The Sylvan Jungle - Volume 1 /
ανά: Routley, Richard, κ.ά.
Έκδοση: (2018)

Semantics and Truth
ανά: Woleński, Jan, κ.ά.
Έκδοση: (2019)

Noneist Explorations I The Sylvan Jungle - Volume 2 /
ανά: Routley, Richard, κ.ά.
Έκδοση: (2019)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_011idjhol28qq9hasunghh46h4