Results 221 to 230 of about 2,143,165 (258)

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

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

From Logic to Mathematical Logic

2011
Although 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

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

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

Communicative Rationality, Logic, and Mathematics

2008
Based upon some explanations of the notions of communicative rationality in the sense of Habermas, and of communicative logic in the sense of the late C. S. Peirce, the author argues that the final meaning of mathematics is to be an aid for the rational communication of man.
openaire   +3 more sources

The Logic of Mathematical Discovery versus The Logical Structure of Mathematics

1998
Abstract 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

On the Adequacy of a Substructural Logic for Mathematics and Science

Philosophical Quarterly, 2022
Neil Tennant
exaly