Interpretation

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

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

page : ...

30-1-2022 1514

more

Crocodile,s Dilemma

writer : Kleene, S. C

source : Introduction to Metamathematics. Princeton, NJ: Van Nostrand

page : ...

14-2-2022 1765

more

Existence

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

source : www.almerja.com

page : ...

17-1-2022 1385

more

Finitely Terminating

writer : Baader, F. and Nipkow, T

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

page : ...

23-1-2022 982

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 1265

more

Universal Algebra

writer : Burris, S. and Sankappanavar, H. P.

source : A Course in Universal Algebra. New York: Springer-Verlag, 1981

page : ...

10-2-2022 1225

more

Bottle Imp Paradox

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

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

page : ...

14-2-2022 1654

more

Productive Set

writer : Davis, M

source : Computability and Unsolvability. New York: Dover, 1982.Kleene, S. C. Mathematical Logic. New York: Dover, 2002.Rogers, H. Theory of Recursive Functions and Effective Computability. Cambridge, MA: MIT Press, 1987.

page : ...

20-1-2022 1614

more

Russell,s Antinomy

writer : Curry, H. B.

source : Foundations of Mathematical Logic, 2nd rev. ed. New York: Dover,

page : ...

17-2-2022 2419

more

Formal Language

writer : Aho, A. V. and Ullman J. D

source : Theory of Parsing, Translation and Compiling, Vol. 1. Englewood Cliffs, NJ: Prentice Hall, 1972.

page : ...

24-1-2022 1580

more

Line Point Picking

writer : Sloane, N. J. A

source : Sequences A115388 and A115389 in "The On-Line Encyclopedia of Integer Sequences."

page : ...

15-2-2022 2591

more

Strong Variety

writer : Burris, S. and Sankappanavar, H. P.

source : A Course in Universal Algebra. New York: Springer-Verlag, 1981.

page : ...

9-2-2022 1521

more

Complex Number Paradox

writer : Eves, H

source : An Introduction to the History of Mathematics, 3rd ed. New York: Holt, Rinehart, and Winston

page : ...

14-2-2022 1967

more

Fallacy

writer : Ball, W. W. R. and Coxeter, H. S. M

source : Mathematical Recreations and Essays, 13th ed. New York: Dover

page : ...

15-2-2022 2124

more

Missing Dollar Paradox

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

source : www.almerja.com

page : ...

15-2-2022 2541

more

Combinator

writer : Barendregt, H. P

source : The Lambda Calculus. Amsterdam, Netherlands: North-Holland, 1981.

page : ...

22-1-2022 3383

more

Paris-Harrington Theorem

writer : Borwein, J. and Bailey, D

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

page : ...

18-1-2022 1985

more

Munching Squares

writer : Beeler et al. Item 146 in Beeler, M.; Gosper, R. W.; and Schroeppel, R. HAKMEM

source : Cambridge, MA: MIT Artificial Intelligence Laboratory, Memo AIM-239

page : ...

12-2-2022 1525

more