264:
65:
36:
259:
254:
133:
182:
104:
87:
235:
172:
82:
177:
121:
194:
155:
138:
199:
70:
223:
109:
17:
211:
150:
99:
60:
248:
160:
48:
22:
35:
The following 23 pages are in this category, out of 23 total.
8:
37:This list may not reflect recent changes
7:
41:
29:
14:
32:Pages in category "Intuitionism"
1:
265:Constructivism (mathematics)
134:Double-negation translation
66:Brouwer–Hilbert controversy
281:
183:Intuitionistic type theory
16:The main article for this
15:
105:Dialectica interpretation
88:Constructive set theory
260:Theories of deduction
236:Spread (intuitionism)
173:Inquisitive semantics
83:Constructive analysis
178:Intuitionistic logic
122:Ethical intuitionism
255:Non-classical logic
195:Stephen Cole Kleene
156:Heyting arithmetic
139:George F. C. Griss
224:Peirce's law
200:Leopold Kronecker
272:
71:L. E. J. Brouwer
280:
279:
275:
274:
273:
271:
270:
269:
245:
244:
243:
242:
241:
240:
228:
216:
204:
187:
165:
143:
126:
114:
110:Michael Dummett
92:
75:
53:
28:
27:
12:
11:
5:
278:
276:
268:
267:
262:
257:
247:
246:
239:
238:
232:
229:
227:
226:
220:
217:
215:
214:
212:Henri Lebesgue
208:
205:
203:
202:
197:
191:
188:
186:
185:
180:
175:
169:
166:
164:
163:
158:
153:
151:Harrop formula
147:
144:
142:
141:
136:
130:
127:
125:
124:
118:
115:
113:
112:
107:
102:
100:Dirk van Dalen
96:
93:
91:
90:
85:
79:
76:
74:
73:
68:
63:
57:
54:
52:
51:
45:
43:
42:
33:
30:
13:
10:
9:
6:
4:
3:
2:
277:
266:
263:
261:
258:
256:
253:
252:
250:
237:
234:
233:
230:
225:
222:
221:
218:
213:
210:
209:
206:
201:
198:
196:
193:
192:
189:
184:
181:
179:
176:
174:
171:
170:
167:
162:
161:Arend Heyting
159:
157:
154:
152:
149:
148:
145:
140:
137:
135:
132:
131:
128:
123:
120:
119:
116:
111:
108:
106:
103:
101:
98:
97:
94:
89:
86:
84:
81:
80:
77:
72:
69:
67:
64:
62:
59:
58:
55:
50:
47:
46:
44:
40:
38:
31:
25:
24:
19:
49:Intuitionism
34:
23:Intuitionism
21:
61:Émile Borel
249:Categories
18:category
20:is
251::
39:.
231:S
219:P
207:L
190:K
168:I
146:H
129:G
117:E
95:D
78:C
56:B
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.