Coastline Paradox

writer : Gleick, J.

source : Chaos: Making a New Science. New York: Penguin Books

page : ...

14-2-2022 3187

more

Skolem Function

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

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.Kleene, S. C. Mathematical Logic. New York: Dover, 2002.

page : ...

9-2-2022 1473

more

Aristotle,s Wheel Paradox

writer : Ballew, D.

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

page : ...

14-2-2022 1699

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 1862

more

Resolution

writer : Abel, R. J. R. and Furino, S. C.

source : "Resolvable and Near Resolvable Designs." §I.6 in The CRC Handbook of Combinatorial Designs (Ed. C. J. Colbourn and J. H. Dinitz). Boca Raton, FL: CRC Press

page : ...

8-2-2022 1275

more

Quantifier Elimination

writer : Caviness, B. F. and Johnson, J. R

source : Quantifier Elimination and Cylindrical Algebraic Decomposition. New York:Springer-Verlag, 1998.

page : ...

20-1-2022 2112

more

Robbins Conjecture

writer : Kolata, G

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

page : ...

9-2-2022 1156

more

Game of Logic

writer : Carroll, L

source : Symbolic Logic/Game of Logic: Mathematical Recreations of Lewis Carroll, 2 Books Bound As 1. New York: Dover, 1972.

page : ...

24-1-2022 1541

more

Banach-Tarski Paradox

writer : Banach, S. and Tarski, A.

source : Sur la décomposition des ensembles de points en parties respectivement congruentes." Fund. Math. 6

page : ...

14-2-2022 2746

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 1548

more

Recursively Enumerable Set

writer : Davis, M

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

page : ...

20-1-2022 1262

more

Karnaugh Map

writer : Booth, T

source : Digital Networks and Computer Systems. New York: Wiley

page : ...

30-1-2022 2593

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 1458

more

Sequent Calculus

writer : Gentzen, G

source : The Collected Papers of Gerhard Gentzen (Ed. M. E. Szabo). Amsterdam, Netherlands: North-Holland, 1969.

page : ...

9-2-2022 1208

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 2341

more

Satisfaction

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

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

page : ...

13-2-2022 870

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 1133

more

Equational Logic

writer : Baader, F. and Nipkow, T

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

page : ...

23-1-2022 1092

more