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 2127

more

Aristotle,s Wheel Paradox

writer : Ballew, D.

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

page : ...

14-2-2022 1713

more

AND

writer : Carnap, R

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

page : ...

12-2-2022 1201

more

Combinatory Logic

writer : Curry, H. B

source : "Combinatory Logic." §3D5 in Foundations of Mathematical Logic. New York: Dover

page : ...

22-1-2022 2812

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 1104

more

Decision Problem

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

source : www.almerja.com

page : ...

17-1-2022 1362

more

Cap

writer : Feller, W

source : An Introduction to Probability Theory and Its Applications, Vol. 2, 3rd ed. New York: Wiley

page : ...

12-2-2022 1302

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 1148

more

Formula

writer : Carr, G. S.

source : Formulas and Theorems in Pure Mathematics. New York: Chelsea, 1970.

page : ...

24-1-2022 1677

more

Transfer Principle

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

source : www.almerja.com

page : ...

13-2-2022 1631

more

Coin Paradox

writer : Pappas, T.

source : "The Coin Paradox." The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra

page : ...

14-2-2022 1737

more

Berry Paradox

writer : Chaitin, G. J

source : "The Berry Paradox." Complexity 1,

page : ...

14-2-2022 1033

more

Gödel Number

writer : Davis, M

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

page : ...

18-1-2022 1414

more

Conjunctive Normal Form

writer : Mendelson, E

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

page : p. 30

22-1-2022 1327

more

Poretsky,s Law

writer : Hall, F. M.

source : An Introduction to Abstract Algebra, Vol. 1, 2nd ed. Cambridge, England: Cambridge University Press, p. 50, 1972.

page : ...

8-2-2022 1453

more

Validity

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

source : www.almerja.com

page : ...

10-2-2022 1721

more

mu-Operator

writer : Mendelson, E

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

page : ...

12-2-2022 1085

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 1404

more