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 1518

more

Proof

writer : Aigner, M. and Ziegler, G. M

source : Proofs from the Book. New York: Springer-Verlag, 1999.

page : ...

17-2-2022 4140

more

Epimenides Paradox

writer : Curry, H. B

source : Foundations of Mathematical Logic. New York: Dover

page : ...

15-2-2022 1948

more

Aristotle,s Wheel Paradox

writer : Ballew, D.

source : "The Wheel of Aristotle." Math. Teacher 65

page : ...

14-2-2022 1832

more

Implies

writer : Carnap, R

source : Introduction to Symbolic Logic and Its Applications. New York: Dover, p. 8, 1958.Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.

page : ...

12-2-2022 1696

more

Łoś, Theorem

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

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

page : ...

13-2-2022 1114

more

Regular Expression

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

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

page : ...

8-2-2022 1568

more

First-Order Logic

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

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

page : ...

24-1-2022 1587

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 1217

more

Berry Paradox

writer : Chaitin, G. J

source : "The Berry Paradox." Complexity 1,

page : ...

14-2-2022 1099

more

Critical Pair

writer : Baader, F. and Nipkow, T

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

page : ...

23-1-2022 1196

more

Gödel,s First Incompleteness Theorem

writer : Barrow, J. D

source : Pi in the Sky: Counting, Thinking, and Being. Oxford, England: Clarendon Press

page : ...

17-1-2022 2150

more

Elevator Paradox

writer : Gamow, G. and Stern, M

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

page : ...

15-2-2022 2047

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 1570

more

Hyperfinite Set

writer : Albeverio, S.; Fenstad, J.; Hoegh-Krohn, R.; and Lindstrøom, T.

source : Nonstandard Methods in Stochastic Analysis and Mathematical Physics. New York: Academic Press, 1986.

page : ...

13-2-2022 1552

more

Structure

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

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

page : ...

9-2-2022 1250

more

Fuzzy Logic

writer : Zadeh, L. and Kacprzyk, J.

source : Fuzzy Logic for the Management of Uncertainty. New York: Wiley, 1992.

page : ...

22-1-2022 1624

more

Venn Diagram

writer : Cundy, H. and Rollett, A

source : Mathematical Models, 3rd ed. Stradbroke, England: Tarquin Pub

page : ...

10-2-2022 2295

more