# Mathematical logic: Trending topics

The following are the current most viewed articles on Wikipedia within Wikipedia's Mathematical logic category. Think of it as a What's Hot list for Mathematical logic. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank Topic Wikipedia views
1 Algorithm 11,535
2 Table of mathematical symbols 9,946
3 Recursion 5,336
4 Set theory 2,742
5 Mathematical induction 2,206
6 Gödel's incompleteness theorems 1,949
7 Mathematical logic 1,489
8 Mathematical proof 1,487
10 Entscheidungsproblem 1,153
11 Tautology (logic) 973
12 Computability theory 933
13 Contraposition 824
14 Enumeration 815
15 Infinitesimal 758
16 Principia Mathematica 749
18 Formal system 530
19 Model theory 483
20 Foundations of mathematics 461
21 Proof theory 459
22 Surreal number 425
23 Completeness 423
24 Indicator function 398
25 Gödel's completeness theorem 319
26 Metalogic 265
27 Vacuous truth 232
28 Quantum logic 200
29 Recursive definition 195
30 Metamathematics 188
31 Gödel numbering 177
32 Kripke semantics 168
33 Charles Sanders Peirce bibliography 139
34 Rewriting 134
35 Kruskal's tree theorem 127
36 Inverse relation 119
37 Hilbert's program 116
38 Logical graph 113
39 Relation algebra 113
40 Finitary relation 104
41 Laws of Form 89
42 Term algebra 83
43 Outline of logic 82
44 Universe (mathematics) 80
45 List of mathematical logic topics 77
46 Object language 76
47 Primitive notion 66
48 Reverse mathematics 64
49 Tarski's undefinability theorem 64
50 Peirce's law 54
51 Impredicativity 53
52 Turnstile (symbol) 50
53 Game semantics 49
54 T-schema 47
55 Absoluteness 44
56 Metamath 42
57 Superposition calculus 41
58 Proof of impossibility 41
59 Complete theory 39
60 Proof sketch for Gödel's first incompleteness theorem 39
61 LF (logical framework) 38
62 Interior algebra 38
63 Finitary 37
64 Stratification (mathematics) 34
65 Diagonal lemma 32
66 On Formally Undecidable Propositions of Principia Mathematica and Related Systems 32
67 Equiconsistency 32
68 Craig interpolation 29
69 Hypostatic abstraction 29
70 Entitative graph 29
71 Łukasiewicz logic 28
72 Double turnstile 27
73 Dedekind number 24
74 Ground expression 22
75 Original proof of Gödel's completeness theorem 20
76 Residuated lattice 20
77 Definable set 20
78 Löb's theorem 19
79 Ludics 19
80 Lindström's theorem 19
81 Double negation 17
82 Epsilon calculus 17
83 Rational consequence relation 15
84 Classical mathematics 14
85 Characteristic sequence 14
86 Cyclic negation 14
87 Institutional model theory 13
88 Strength (mathematical logic) 13
89 Barwise compactness theorem 13
90 Herbrand interpretation 13
91 Glivenko's theorem 13
92 Rosser's trick 13
93 Algebraic sentence 13
94 Robinson's joint consistency theorem 12
95 Herbrand structure 12
96 Algebraic definition 12
97 Static discipline 11
98 Elementary theory 11
99 Continuous predicate 10
100 Beth definability 10
101 Timeline of mathematical logic 10
102 Elementary sentence 10
103 Laver table 9
104 Turing's proof 9
105 Rules of passage (logic) 9
106 Extension by definitions 8
107 End extension 8
108 Elementary definition 8
109 Algebraic theory 8
110 Witness (mathematics) 8
111 Coherent space 7
112 Semicomputable function 7
113 Bunched logic 6
114 Conservativity theorem 6
115 Formal calculation less than 5 views
116 Residuated Boolean algebra less than 5 views
117 Logical machine less than 5 views
118 Negational normal form less than 5 views
119 Erasure (logic) less than 5 views
120 Łoś–Tarski preservation theorem less than 5 views
121 Mathematical logic topics less than 5 views
122 Lindenbaum's lemma less than 5 views
123 First-order theories less than 5 views
124 Gödel's β function less than 5 views
125 Logic systems less than 5 views

# Encyclopedia

Mathematical logic has several meanings in common usage. It originally referred to symbolic or formal logic, and then came to be associated with the study of the logical (and even philosophical) foundations of mathematics. In contemporary use by mathematical logicians, the term refers to several branches of pure mathematics whose study involves careful attention to formal axiom systems and formal definability.

Mathematical logic is divided into four parts:

The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.

## Subcategories

This category has the following 24 subcategories, out of 24 total.

## Pages in category "Mathematical logic"

The following 132 pages are in this category, out of 132 total. This list may not reflect recent changes (learn more).

# Wikibooks

Up to date as of January 23, 2010

### From Wikibooks, the open-content textbooks collection

This category contains books on mathematical logic: the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.

## Related categories

The following 8 related categories may be of interest, out of 8 total.

## Books or Pages

The following 9 pages are in this category, out of 9 total.