Results 201 to 210 of about 2,965,126 (259)
Some of the next articles are maybe not open access.
Descriptions in mathematical logic
Studia Logica, 1984If 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 +3 more sources
Which Mathematical Logic is the Logic of Mathematics?
Logica Universalis, 2012The 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 +2 more sources
Mathematical Logic: Mathematics of Logic or Logic of Mathematics
2020This 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 +2 more sources
Physics and mathematical logic [PDF]
Il Nuovo Cimento, 1955 The possibility of application of mathematical logic to the investigation of physical problems is discussed; the basic elements of mathematical logic are introduced and examples are given.
A. Gamba, U. Farinelli
openaire +2 more sources
, 2012
the adventure of reason interplay between philosophy mathematics and mathematical logic 1900 194 are a good way to achieve details about operating certainproducts. Many products that you buy can be obtained using instruction manuals.
M. Atten
semanticscholar +1 more source
the adventure of reason interplay between philosophy mathematics and mathematical logic 1900 194 are a good way to achieve details about operating certainproducts. Many products that you buy can be obtained using instruction manuals.
M. Atten
semanticscholar +1 more source
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
, 1967The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole,
J. Heijenoort
semanticscholar +1 more source
Science, 1966
Publisher Summary The purpose of this chapter is to regard a language as a set of primitive symbols and formation rules and—in some sense that it is not necessary to make definite—meanings for the expressions of the language. \The chapter concerns an old question relative to which developments have come to a conclusion or at least a pause.
openaire +4 more sources
Publisher Summary The purpose of this chapter is to regard a language as a set of primitive symbols and formation rules and—in some sense that it is not necessary to make definite—meanings for the expressions of the language. \The chapter concerns an old question relative to which developments have come to a conclusion or at least a pause.
openaire +4 more sources
Software Abstractions - Logic, Language, and Analysis
, 2006In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or
D. Jackson
semanticscholar +1 more source
Nature, 1973
What is Mathematical Logic? By J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell and N. H. Williams. Pp. ix + 82. (Oxford University: London and New York, November 1972). £1.40 cloth; 70p paper.
openaire +2 more sources
What is Mathematical Logic? By J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell and N. H. Williams. Pp. ix + 82. (Oxford University: London and New York, November 1972). £1.40 cloth; 70p paper.
openaire +2 more sources
, 2010
Preface PART 1: HISTORY OF LOGIC 1. The Development of Mathematical Logic from Russell to Tarski, 1900-1935 OART 2: FOUNDATIONS OF MATHEMATICS 2. Hilbert and Bernays on Metamathematics 3.
P. Mancosu
semanticscholar +1 more source
Preface PART 1: HISTORY OF LOGIC 1. The Development of Mathematical Logic from Russell to Tarski, 1900-1935 OART 2: FOUNDATIONS OF MATHEMATICS 2. Hilbert and Bernays on Metamathematics 3.
P. Mancosu
semanticscholar +1 more source