Sentence

writer : Carnap, R

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

page : ...

1185

more

Existence

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

source : www.almerja.com

page : ...

1141

more

Coastline Paradox

writer : Gleick, J.

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

page : ...

2540

more

المنطق الرياضي Mathematical Logic

المؤلف : صالح رشيد بطارسه

المصدر : معجم الرياضيات

الجزء والصفحة : 344

4589

المزيد

Complex Number Paradox

writer : Eves, H

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

page : ...

1604

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 : ...

1636

more

Liar,s Paradox

writer : Beth, E. W.

source : The Foundations of Mathematics. Amsterdam, Netherlands: North-Holland

page : ...

3385

more

Equivalent

writer : Cajori, F.

source : A History of Mathematical Notations, Vol. 2. New York: Dover

page : ...

1349

more

Aristotle,s Wheel Paradox

writer : Ballew, D.

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

page : ...

1323

more

arski,s Theorem

writer : Collins, G. E

source : "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition." In Proc. 2nd GI Conf. Automata Theory and Formal Languages. New York: Springer-Verlag

page : ...

1118

more

Type

writer : Curry, H. B.

source : Foundations of Mathematical Logic. New York: Dover

page : ...

1036

more

Simpson,s Paradox

writer : Good, I. J. and Mittal, Y.

source : The Amalgamation and Geometry of Two-by-Two Contingency Tables." Ann. Stat. 15

page : ...

3060

more

Recursive Set

writer : Davis, M

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

page : ...

1052

more

Deduction Theorem

writer : Kleene, S. C

source : "The Deduction Theorem." §21 in Introduction to Metamathematics. Princeton, NJ: Van Nostrand

page : ...

1390

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

1932

more

Robbins Conjecture

writer : Kolata, G

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

page : ...

950

more

Creative Set

writer : Davis, M

source : Computability and Unsolvability. New York: Dover, 1982.Kleene, S. C. Mathematical Logic. New York: Dover, 2002

page : ...

995

more

Russell,s Antinomy

writer : Curry, H. B.

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

page : ...

1758

more