Quantified System

writer : Strzebonski, A

source : "Solving Algebraic Inequalities." Mathematica J. 7,

page : 525-541

8-2-2022 1367

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 1603

more

Presburger Arithmetic

writer : Presburger, M.

source : "Ueber die Vollstaendigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt." In Comptes Rendus du I congrés de Mathématiciens des Pays Slaves. Warsaw, Poland

page : ...

20-1-2022 1455

more

Allais Paradox

writer : Allais, M.

source : "Le comportement de l,homme rationnel devant le risque: Critique des postulats et axiomes de lécole américaine." Econometrica 21

page : ...

14-2-2022 2761

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 2924

more

Elevator Paradox

writer : Gamow, G. and Stern, M

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

page : ...

15-2-2022 2032

more

Nonstandard Analysis

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

Disjunctive Normal Form

writer : Mendelson, E

source : ntroduction to Mathematical Logic, 4th ed. London: Chapman & Hall

page : p. 30

23-1-2022 1282

more

Lambda Calculus

writer : Barendregt, H. P

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

page : ...

18-1-2022 1279

more

AND

writer : Carnap, R

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

page : ...

12-2-2022 1257

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 1568

more

Lemma

writer : Hoffman, P.

source : The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. New York: Hyperion, 1998.

page : ...

17-2-2022 2434

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 2079

more

Reduction System

writer : Baader, F. and Nipkow, T.

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

page : ...

8-2-2022 1202

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 1500

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 2225

more

Closed Sentential Formula

writer : Carnap, R

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

page : ...

22-1-2022 1368

more

Paradox

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

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

page : ...

15-2-2022 3874

more