Robbins Algebra

writer : b.Kolata, G.

source : Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.

page : ...

9-2-2022 1376

more

Elevator Paradox

writer : Gamow, G. and Stern, M

source : Puzzle Math. New York: Viking, 1958.

page : ...

15-2-2022 2138

more

Unification

writer : Chang, C.-L. and Lee, R. C.-T.

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.

page : ...

10-2-2022 1522

more

Sentence

writer : Carnap, R

source : Introduction to Symbolic Logic and Its Applications. New York: Dover, 1958.

page : ...

9-2-2022 1481

more

Missing Dollar Paradox

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

15-2-2022 2720

more

Deduction Theorem

writer : Kleene, S. C

source : "The Deduction Theorem." §21 in Introduction to Metamathematics. Princeton, NJ: Van Nostrand

page : ...

23-1-2022 1796

more

Structure Homomorphism

writer : Bell, J. L. and Slomson, A. B

source : Models and Ultraproducts: an Introduction. Amsterdam, Netherlands: North-Holland, 1971.

page : ...

9-2-2022 1733

more

Rice,s Theorem

writer : Davis, M

source : Computability and Unsolvability. New York: Dover, 1982.

page : ...

20-1-2022 1521

more

Goodstein,s Theorem

writer : Borwein, J. and Bailey, D.

source : Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters

page : ...

18-1-2022 1706

more

Liar,s Paradox

writer : Beth, E. W.

source : The Foundations of Mathematics. Amsterdam, Netherlands: North-Holland

page : ...

15-2-2022 4613

more

Unexpected Hanging Paradox

writer : Erickson, G. W. and Fossa, J. A

source : Dictionary of Paradox. Lanham, MD: University Press of America,

page : ...

17-2-2022 4137

more

Validity

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

10-2-2022 1950

more

Axiom Schema

writer : Kleene, S. C

source : Mathematical Logic. New York: Dover, 2002.

page : ...

22-1-2022 1454

more

Proof Theory

writer : Birkhoff, G. and Mac Lane, S.

source : A Survey of Modern Algebra, 5th ed. New York: Macmillan

page : ...

8-2-2022 1514

more

Confluent

writer : Baader, F. and Nipkow, T.

source : Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.

page : ...

22-1-2022 1570

more

Creative Set

writer : Davis, M

source : Computability and Unsolvability. New York: Dover, 1982.Kleene, S. C. Mathematical Logic. New York: Dover, 2002

page : ...

17-1-2022 1329

more

Newcomb,s Paradox

writer : Erickson, G. W. and Fossa, J. A

source : Dictionary of Paradox. Lanham, MD: University Press of America

page : ...

15-2-2022 2446

more

Sorites Paradox

writer : Erickson, G. W. and Fossa, J. A

source : Dictionary of Paradox. Lanham, MD: University Press of America

page : pp. 196-199

17-2-2022 2674

more