Results 261 to 270 of about 56,783 (314)

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

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   +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

Which Mathematical Logic is the Logic of Mathematics?

Logica Universalis, 2012
The main tool of the arithmetization and logization of analysis in the history of nineteenth century mathematics was an informal logic of quantifiers in the guise of the “epsilon–delta” technique. Mathematicians slowly worked out the problems encountered in using it, but logicians from Frege on did not understand it let alone formalize it, and instead ...
openaire   +1 more source

Mathematical Logic [PDF]

, 2014
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology.
Li, Wei
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   +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   +1 more source

What Is Mathematical Logic?

Abstract Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion even though logic can be a formidably abstruse topic, even for mathematicians.
Badia, Guillermo, Crossley, John, Stillwell, John, Ash, Christopher J., Brickhill, Christopher J., Williams, Neil H.   +5 more
openaire   +2 more sources

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE

The Review of Symbolic Logic, 2018
AbstractThe deviation ofmathematical proof—proof in mathematical practice—from the ideal offormal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof.
openaire   +3 more sources

Mathematics, Logic and Undecidability

The Mathematical Gazette, 1967
Among the greatest advances in knowledge this century one would include relativity, quantum mechanics and the explanation of hereditary replication in living things by the structure of the DNA molecule. But it would not be absurd to include in this category a discovery which is not at all well-known and goes back to 1930, namely, that logic and ...
openaire   +2 more sources