The Full Wiki

Mathematical logic: Trending topics

Advertisements
  
  

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

Subcategories

Parent categories


Encyclopedia

From Wikipedia, the free 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.

A

B

C

F

I

L

M

M cont.

P

Q

R

S

µ

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

*

A

B

C

D

E

E cont.

F

G

H

I

K

L

M

M cont.

N

O

P

Q

R

S

T

U

V

W


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.

B

F

L

M

S


Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message