Fundamenta Mathematicae
Download Fundamenta Mathematicae PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Fundamenta Mathematicae book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Philosophy of Mathematics
One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in the mind? Or do mathematical truths not involve referents of any kind? It is these kinds of questions that have encouraged philosophers and mathematicians alike to focus their attention on issues in the philosophy of mathematics. Over the centuries a number of reasonably well-defined positions about the nature of mathematics have been developed and it is these positions (both historical and current) that are surveyed in the current volume. Traditional theories (Platonism, Aristotelianism, Kantianism), as well as dominant modern theories (logicism, formalism, constructivism, fictionalism, etc.), are all analyzed and evaluated. Leading-edge research in related fields (set theory, computability theory, probability theory, paraconsistency) is also discussed. The result is a handbook that not only provides a comprehensive overview of recent developments but that also serves as an indispensable resource for anyone wanting to learn about current developments in the philosophy of mathematics.-Comprehensive coverage of all main theories in the philosophy of mathematics-Clearly written expositions of fundamental ideas and concepts-Definitive discussions by leading researchers in the field-Summaries of leading-edge research in related fields (set theory, computability theory, probability theory, paraconsistency) are also included
Handbook of the History of General Topology
Author: C.E. Aull
language: en
Publisher: Springer Science & Business Media
Release Date: 2013-04-17
This book is the first one of a work in several volumes, treating the history of the development of topology. The work contains papers which can be classified into 4 main areas. Thus there are contributions dealing with the life and work of individual topologists, with specific schools of topology, with research in topology in various countries, and with the development of topology in different periods. The work is not restricted to topology in the strictest sense but also deals with applications and generalisations in a broad sense. Thus it also treats, e.g., categorical topology, interactions with functional analysis, convergence spaces, and uniform spaces. Written by specialists in the field, it contains a wealth of information which is not available anywhere else.
Topics in Logic, Philosophy and Foundations of Mathematics, and Computer Science
This volume honors Professor Andrzej Grzegorczyk, the nestor of Polish logicians, on his 85th anniversary. The editors would like to express the respect and sympathy they have for him. His textbook The Outline of Mathematical Logic has been published in many editions and translated into several languages. It was this textbook that introduced many of us into the world of mathematical logic. Professor Grzegorczyk has made fundamental contributions to logic and to philosophy. His results, mainly on hierarchy of primitive recursive functions, known as the Grzegorczyk hierarchy, are of fundamental importance to theoretical computer science. In particular, they were precursory for the computational complexity theory. The editors would like to stress that this special publication celebrates a scientist who is still actively pursuing genuinely innovative directions of research. Quite recently, Andrzej Grzegorczyk gave a new proof of undecidability of the first order functional calculus. His proof does not use the arithmetization of Kurt Gödel. In recognition of his merits, the University of Clermont-Ferrand conferred to Professor Andrzej Grzegorczyk the Doctorat Honoris Causa. The work and life of Professor Andrzej Grzegorczyk is presented in the article by Professors Stanislaw Krajewski and Jan Wolenski. The papers in this collection have been submitted on invitational basis.