Axiom Schema

writer : Kleene, S. C

source : Mathematical Logic. New York: Dover, 2002.

page : ...

22-1-2022 1355

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 1572

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 1527

more

Robbins Algebra

writer : b.Kolata, G.

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

page : ...

9-2-2022 1288

more

Formula

writer : Carr, G. S.

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

page : ...

24-1-2022 1754

more

Transfer Principle

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

source : www.almerja.com

page : ...

13-2-2022 1709

more

Ultraproduct

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

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

page : ...

13-2-2022 1208

more

Strange Loop

writer : Escher, M. C

source : "Ascending and Descending." Lithograph. 1960.

page : ...

17-2-2022 2195

more

Rice,s Theorem

writer : Davis, M

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

page : ...

20-1-2022 1421

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 1165

more

Prenex Normal Form

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

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

page : ...

8-2-2022 1344

more

Quantified System

writer : Strzebonski, A

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

page : 525-541

8-2-2022 1368

more

Finitely Terminating

writer : Baader, F. and Nipkow, T

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

page : ...

23-1-2022 965

more

Enlargement

writer : Gehrke, M.; Kaiser, K.; and Insall, M.

source : "Some Nonstandard Methods Applied to Distributive Lattices." Zeitschrifte für Mathematische Logik und Grundlagen der Mathematik 36

page : ...

13-2-2022 3068

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 2110

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 1552

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 2444

more

Kleene,s s-m-n Theorem

writer : Davis, M

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

page : ...

18-1-2022 1386

more