Results 221 to 230 of about 30,543 (266)

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

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

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

Visualization in Logic and Mathematics

2005
In the last two decades there has been renewed interest in visualization in logic and mathematics. Visualization is usually understood in different ways but for the purposes of this article I will take a rather broad conception of visualization to include both visualization by means of mental images as well as visualizations by means of computer ...
openaire   +2 more sources

The Logic of Mathematical Discovery Vs. the Logical Structure of Mathematics

PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1978
Mathematics offers us a puzzling contrast. On the one hand it is supposed to be the paradigm of certain and final knowledge: not fixed to be sure, but a steadily accumulating coherent body of truths obtained by successive deduction from the most evident truths.
openaire   +1 more source

Non-Deductive Logic in Mathematics

The British Journal for the Philosophy of Science, 1987
The author discusses the notion of degree of non-deductive support given to hypotheses by various kinds of mathematical evidence. After looking at the examples of the Riemann hypothesis, Fermat's theorem an all intersection numbers I(f,h) when h runs over all algebroid plane curves not having f as a branch).
openaire   +2 more sources

Logic with elements of mathematical logic

2023
In the textbook, traditional logic is presented from the point of view of mathematical logic. Mathematization begins with the study of the topic "Concept", continues with the topic "Judgment" and reaches its greatest effectiveness in the study of deductive reasoning.
openaire   +1 more source

Logic and Intuition in Mathematics and Mathematical Education

2007
A good mathematics teacher is not only a good mathematician, but also a good teacher. In other words, a good mathematics teacher is not only able to solve mathematical problems, (s)he is also able to explain how mathematical problems are solved. Many mathematicans (and mathematics teachers) are, however, able to solve mathematical problems without ...
openaire   +2 more sources