F. Kamareddine T. Laan and R. Nederpelt". Types in Logic and Mathematics before 1940. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
The Theory of the Foundations of Mathematics - Scheffer (2002) (Correct)
....statement. A paradox is properly something which is contradictory to general opinion; but is frequently used to signify something selfcontradictory [ Paralogism, by its etymology, is best fitted to signify an o#ence against the formal rules of inference. De Morgan, in [31, page 310] In [86], three paradox threats are identified: when systems are complex, formal or designed for computers, there often is not enough intuition to notice inconsistencies. With the previously described formalizations , the systems of Cantor (see chapter 2) Peano (see section 4.1) Frege (see section ....
....of the same type as the bound variable. When this is done, we have a very comprehensive logical calculus which is secure against vicious circularity . A further discussion and formalization (in the form of Church s simply typed lambda calculus # c) of the simple theory of types can be found in [86]. 7.3. QUINE 121 7.3 Quine Just as the introduction of the irrational numbers . is a convenient myth [which] simplifies the laws of arithmetic . so physical objects are postulated entities which round out and simplify our account of the flux of existence . The conceptional scheme of ....
F. Kamareddine T. Laan and R. Nederpelt". Types in Logic and Mathematics before 1940.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC