81:
71:
53:
22:
153:
Bootstrap systems have the interesting property of altering their axioms during use, which tends to break most limitation theorems. The halting problem still holds given the current laws of physics.
133:
165:
are where people discuss how to make content on
Knowledge the best that it can be. You can use this page to start a discussion with others about how to improve the "
197:
127:
192:
103:
162:
94:
58:
166:
33:
21:
39:
180:
80:
150:
I'm inclined to break out a bootstrap system that is specifically designed to break this theorem.
102:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
173:
86:
70:
52:
186:
99:
76:
158:
Start a discussion about improving the Gödel's speed-up theorem page
15:
98:, a collaborative effort to improve the coverage of
132:This article has not yet received a rating on the
8:
19:
47:
49:
198:Unknown-priority mathematics articles
7:
92:This article is within the scope of
38:It is of interest to the following
14:
112:Knowledge:WikiProject Mathematics
193:Start-Class mathematics articles
115:Template:WikiProject Mathematics
79:
69:
51:
20:
1:
106:and see a list of open tasks.
167:Gödel's speed-up theorem
214:
131:
64:
46:
134:project's priority scale
95:WikiProject Mathematics
28:This article is rated
118:mathematics articles
175:Start a discussion
87:Mathematics portal
34:content assessment
148:
147:
144:
143:
140:
139:
205:
178:
176:
120:
119:
116:
113:
110:
89:
84:
83:
73:
66:
65:
55:
48:
31:
25:
24:
16:
213:
212:
208:
207:
206:
204:
203:
202:
183:
182:
181:
179:
174:
172:
171:
117:
114:
111:
108:
107:
85:
78:
32:on Knowledge's
29:
12:
11:
5:
211:
209:
201:
200:
195:
185:
184:
160:
159:
156:
155:
146:
145:
142:
141:
138:
137:
130:
124:
123:
121:
104:the discussion
91:
90:
74:
62:
61:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
210:
199:
196:
194:
191:
190:
188:
177:
170:
168:
164:
157:
154:
151:
135:
129:
126:
125:
122:
105:
101:
97:
96:
88:
82:
77:
75:
72:
68:
67:
63:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
161:
152:
149:
93:
40:WikiProjects
109:Mathematics
100:mathematics
59:Mathematics
30:Start-class
187:Categories
163:Talk pages
169:" page.
36:scale.
128:???
189::
136:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.