Results 141 to 150 of about 391,075 (200)

Descriptions in mathematical logic

Studia Logica, 1984
If A(x) is a predicate satisfied by exactly one x, then we write Ix.A(x) for that object x. The operator I is called a descriptor. The author reviews the various treatments of descriptors in the literature, pointing out that the problem each treatment faces is ''what to do with Ix.A(x) when \(\exists !xA(x)\) is not (yet) known''. The obvious answer is
Gerard R. Renardel, null de Lavalette
openaire   +2 more sources

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

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

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

Choice Reviews Online, 2009
Abstract The formal study of logic is ancient, going back to at least the fourth century b.c.e., when Aristotle and his Greek compatriots sought to identify those forms of human reasoning that are correct (or valid) and those that are not. Our motivation is similar.
William Johnston, Alex M McAllister
openaire   +2 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

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

Mathematical Logic

The Mathematical Gazette, 1926
I have been asked to speak about developments in Mathematical Logic since the publication of Principia Mathematica, and I think it would be most interesting if, instead of describing various definite improvements of detail, I were to discuss in outline the work which has been done on entirely different lines, and claims to supersede altogether the ...
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