Results 211 to 220 of about 2,143,165 (258)

Language, Logic, and Mathematics in Schopenhauer

Studies in Universal Logic, 2020
The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus,
Lemanski, Jens
exaly   +2 more sources

Logic and Philosophy of Mathematics in the Early Husserl

Synthese Library, 2010
This text focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic to that of Logical Investigations.
Stefania Centrone
exaly   +1 more source

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

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

Mathematical Logic

2014
The study guide is prepared in accordance with the curriculum of the course "Discrete Mathematics & Mathematical Logic" for the students of the Faculty of Mathematics. It covers basic topics of the course such like "Mathematical Logi" and "Sets". Each section contains theoretical material and practical assignments.
Tsarev, A. A., Vit`ko, E. A.
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

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