Results 211 to 220 of about 2,965,126 (259)
Some of the next articles are maybe not open access.
Transportation Science, 2009
The modeling of traffic control systems for solving such problems as surface street signalization, dynamic traffic assignment, etc., typically results in the appearance of a conditional function.
Y. Pavlis, W. Recker
semanticscholar +1 more source
The modeling of traffic control systems for solving such problems as surface street signalization, dynamic traffic assignment, etc., typically results in the appearance of a conditional function.
Y. Pavlis, W. Recker
semanticscholar +1 more source
The two-valued iterative systems of mathematical logic
, 1942*Frontmatter, pg. i*CONTENTS, pg. vi*INTRODUCTION, pg. 1*Part I. PRELIMINARIES, pg. 10*PART II. DERIVATION OP CLOSED SYSTEMS, pg. 43*PART III. CO-ORDINATION AND APPLICATION, pg.
Emil L. Post
semanticscholar +1 more source
2022
The precise definition of “logic” is quite broad and literally, hundreds of logics have been studied by philosophers, mathematicians, and computer scientists. When most people say "logic", they mean either propositional logic or predicate logic. The propositional logic is the classical one, in which there are two possible truth values (i.e., true and ...
openaire +2 more sources
The precise definition of “logic” is quite broad and literally, hundreds of logics have been studied by philosophers, mathematicians, and computer scientists. When most people say "logic", they mean either propositional logic or predicate logic. The propositional logic is the classical one, in which there are two possible truth values (i.e., true and ...
openaire +2 more sources
The mathematical logic of life
Origins of Life, 1984Protein 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 +3 more sources
Handbook of mathematical logic
, 1977Model Theory (Contributors: J. Barwise, P.C. Eklof, H.J. Keisler, A. Kock, A. Macintyre, M. Makkai, M. Morley, G.E. Reyes, K.D. Stroyan). Set Theory (Contributors: J.P. Burgess, K.J. Devlin, T.J. Jech, I. Juhasz, K. Kunen, M.E. Rudin, J.R.
J. Barwise, H. Keisler
semanticscholar +1 more source
Philosophy, 1928
It is often said to-day that mathematics is nothing but an extension or development of logic; indeed, the identity of logic and pure mathematics is alleged so confidently by persons whose mathematical attainments entitle them to consideration when they talk about the subject-matter of mathematics, as to be in danger of being ranked with the truths that
openaire +2 more sources
It is often said to-day that mathematics is nothing but an extension or development of logic; indeed, the identity of logic and pure mathematics is alleged so confidently by persons whose mathematical attainments entitle them to consideration when they talk about the subject-matter of mathematics, as to be in danger of being ranked with the truths that
openaire +2 more sources
2018
It is Frege, not Boole, who is the father of modern logic. What exactly is modern about modern logic? Why did Frege develop it? The answers given here are these. Modern logic is both comprehensive and fully formal. The comprehensiveness in question is the sufficiency for the purposes of mathematics.
openaire +2 more sources
It is Frege, not Boole, who is the father of modern logic. What exactly is modern about modern logic? Why did Frege develop it? The answers given here are these. Modern logic is both comprehensive and fully formal. The comprehensiveness in question is the sufficiency for the purposes of mathematics.
openaire +2 more sources
Kolmogorov and mathematical logic
Journal of Symbolic Logic, 1992There 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 +2 more sources
The Mathematical Intelligencer, 1993
The author explains a semantic tree based natural deduction style formalization of set theory which is nominalistic in nature, makes interesting use of the distinction of use and mention for (names of) objects, avoids standard set-theoretic paradoxes, but also the common naive form of Cantor's diagonal argument for the uncountability of the reals, and ...
openaire +2 more sources
The author explains a semantic tree based natural deduction style formalization of set theory which is nominalistic in nature, makes interesting use of the distinction of use and mention for (names of) objects, avoids standard set-theoretic paradoxes, but also the common naive form of Cantor's diagonal argument for the uncountability of the reals, and ...
openaire +2 more sources
1995
There are two possible strategies for investigating questions on logic and mathematics. First, one can adopt the pattern recommended by the phenomenologists, which consists in looking for the actual essences of logic and mathematics in order to relate both fields.
openaire +2 more sources
There are two possible strategies for investigating questions on logic and mathematics. First, one can adopt the pattern recommended by the phenomenologists, which consists in looking for the actual essences of logic and mathematics in order to relate both fields.
openaire +2 more sources