Results 161 to 170 of about 2,335,588 (204)
Some of the next articles are maybe not open access.
Mathematical Programming Embeddings of Logic
Journal of Automated Reasoning, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Borkar, Vivek S +2 more
openaire +2 more sources
Perspectives on the History of Mathematical Logic
, 1991 This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical Society meeting, the chapters explore technical innovations, the ...
Drucker, Thomas
exaly +2 more sources
Mathematics, Logic and Undecidability
The Mathematical Gazette, 1967Among 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, 2018AbstractThe 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
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 +5 more
openaire +3 more sources
Badia, Guillermo +5 more
openaire +3 more sources
Visualization in Logic and Mathematics
2005In 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
Non-Deductive Logic in Mathematics
The British Journal for the Philosophy of Science, 1987The 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
From Logic to Mathematical Logic
2011Although methods of logic and were obviously present in many cultures, which all used some intricate systems of reasoning, it is commonly accepted that explicit analysis of the principles of reasoning were developed independently in China, India, and Greece. The later being the most influential to the systems of logic in the West.
Radomir S. Stanković, Jaakko Astola
openaire +1 more source
Logic with elements of mathematical logic
2023In 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
2007A 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