Results 201 to 210 of about 1,885,937 (251)

SORT LOGIC AND FOUNDATIONS OF MATHEMATICS

Lecture Notes Series, Institute for Mathematical Sciences, 2014
I have argued elsewhere [8] that second order logic provides a foundation for mathematics much in the same way as set theory does, despite the fact that the former is second order and the latter first order, but second order logic is marred by reliance ...
Jouko Väänänen
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Mathematical Logic

2007
Abstract Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.
Ian Chiswell, Wilfrid Hodges
openaire   +2 more sources

IF logic and the foundations of mathematics

Synthese, 2001
One of the properties of independence friendly (IF) first-order logic as discussed, e.g., by \textit{J. Hintikka} in his ``The principles of mathematics revisited'' [Cambridge University Press, Cambridge (1996; Zbl 0869.03003)] is that ``it defines its own truth-predicate in certain models, like for instance, in the standard model \(N\) of PA'' (p. 40).
Gabriel Sandu, Tapani Hyttinen
openaire   +2 more sources

Descriptions in mathematical logic

Studia Logica, 1984
If A(x) is a predicate satisfied by exactly one x, then we write Ix.A(x) for that object x. The operator I is called a descriptor. The author reviews the various treatments of descriptors in the literature, pointing out that the problem each treatment faces is ''what to do with Ix.A(x) when \(\exists !xA(x)\) is not (yet) known''. The obvious answer is
Gerard R. Renardel, null de Lavalette
openaire   +2 more sources

Mathematical Logic: Mathematics of Logic or Logic of Mathematics

2020
This brief historical survey is written from a logical point of view. It is a rational reconstruction of the genesis of some interrelations between formal logic and mathematics. We examine how mathematical logic was conceived: as the abstract mathematics of logic or as the logic of mathematical practice.
openaire   +1 more source

The mathematical logic of life

Origins of Life, 1984
Protein synthesis can be likened to a particular coded information storage, transmission and execution system. Noise, error or mutations are the essential phenomena to which a living organism is subjected. Genetic coding aims at preserving the integrity of a structure under aggression from the surroundings.
G, Cullmann, J M, Labouygues
openaire   +2 more sources

Hilary Putnam on Logic and Mathematics

Outstanding Contributions To Logic, 2018
This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics ...
Cook, Roy, Hellman, Geoffrey
exaly   +2 more sources

Logic for Mathematical Writing

Logic Journal of IGPL, 2007
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The module is for second-year undergraduates and has been running for three years.
Edmund Harriss, Wilfrid Hodges
openaire   +1 more source

Kolmogorov and mathematical logic

Journal of Symbolic Logic, 1992
There are human beings whose intellectual power exceeds that of ordinary men. In my life, in my personal experience, there were three such men, and one of them was Andrei Nikolaevich Kolmogorov. I was lucky enough to be his immediate pupil. He invited me to be his pupil at the third year of my being student at the Moscow University.
openaire   +2 more sources

Mathematical Programming Embeddings of Logic

Journal of Automated Reasoning, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Borkar, Vivek S, Chandru, Vijay, Mitter, Sanjoy K   +2 more
openaire   +2 more sources