83:. Seetapun made a reputation for himself managing a trading venture with mathematical models, and has been cited as "Goldman's top London proprietary options trader", making over $ 500m. He left Goldman in March 1998, when he was rehired by
37: 0 < a < 0′ is locally noncappable, namely (∀a) 0 < a < 0′ (∃c) a < c (∀b) b < c ". Seetapun received a PhD in logic from
87:. In 1998 his models started to fail causing a loss of his own funds as well as for the firm. He currently works at Waymo, which was formerly Google's self-driving car project.
295:
290:
141:
David
Seetapun and Theodore A. Slaman. 1995. On the Strength of Ramsey's Theorem. Notre Dame J. Formal Logic Volume 36, Number 4 (1995), 570–582.
220:
186:
119:
61:. He also proposed the so called "Seetapun Enigma", a mathematical puzzle that was not solved until 2010 by Chinese undergraduate student
46:
280:
30:
During the fall of 1990, David
Seetapun was said to have "used a very interesting 0′′′- priority argument to prove that every
275:
243:
270:
38:
285:
31:
58:
54:
114:. Mathematical Sciences Research Institute (Berkeley, Calif.), Springer-Verlag. pp. 58–9.
216:
182:
115:
176:
42:
50:
264:
80:
75:
34:
212:
Inventing Money: The Story of Long-term
Capital Management and the Legends Behind It
210:
151:
109:
49:
where in 1995 he published an influential article with his post-doctoral adviser
105:
62:
22:
is an
English logician and former investment banker.
178:
Computational
Prospects of Infinity: Presented talks
45:". He went on to a post-doctoral position at
16:English logician and former investment banker
8:
73:After leaving academia, he took a job for
296:University of California, Berkeley alumni
41:in 1991, the topic was "Contributions to
96:
156:. Risk Magazine, Ltd. 1999. p. 27
291:Alumni of the University of Cambridge
7:
246:. Times Higher Education. 1999-11-19
14:
244:"The postdocs who lost millions"
181:. World Scientific. p. 57.
175:Chong, Chi-Tat (30 July 2008).
1:
104:Judah, Haim; Just, Winfried;
111:Set Theory of the Continuum
79:, but was offered a job by
312:
209:Dunbar, Nicholas (2000).
281:English mathematicians
276:English philosophers
55:reverse mathematics
271:English logicians
222:978-0-471-89999-0
188:978-981-279-654-7
121:978-3-540-97874-9
303:
255:
254:
252:
251:
240:
234:
233:
231:
229:
206:
200:
199:
197:
195:
172:
166:
165:
163:
161:
148:
142:
139:
133:
132:
130:
128:
101:
59:Ramsey's theorem
43:recursion theory
311:
310:
306:
305:
304:
302:
301:
300:
261:
260:
259:
258:
249:
247:
242:
241:
237:
227:
225:
223:
208:
207:
203:
193:
191:
189:
174:
173:
169:
159:
157:
150:
149:
145:
140:
136:
126:
124:
122:
106:Woodin, W. Hugh
103:
102:
98:
93:
71:
51:Theodore Slaman
28:
17:
12:
11:
5:
309:
307:
299:
298:
293:
288:
283:
278:
273:
263:
262:
257:
256:
235:
221:
201:
187:
167:
143:
134:
120:
95:
94:
92:
89:
70:
67:
27:
24:
20:David Seetapun
15:
13:
10:
9:
6:
4:
3:
2:
308:
297:
294:
292:
289:
287:
286:Living people
284:
282:
279:
277:
274:
272:
269:
268:
266:
245:
239:
236:
224:
218:
214:
213:
205:
202:
190:
184:
180:
179:
171:
168:
155:
154:
147:
144:
138:
135:
123:
117:
113:
112:
107:
100:
97:
90:
88:
86:
85:Credit Suisse
82:
81:Goldman Sachs
78:
77:
76:Credit Suisse
68:
66:
64:
60:
56:
52:
48:
44:
40:
36:
33:
26:Academic Work
25:
23:
21:
248:. Retrieved
238:
226:. Retrieved
211:
204:
192:. Retrieved
177:
170:
158:. Retrieved
152:
146:
137:
125:. Retrieved
110:
99:
84:
74:
72:
29:
19:
18:
265:Categories
250:2012-03-24
91:References
215:. Wiley.
53:applying
39:Cambridge
228:24 March
194:24 March
160:24 March
127:24 March
108:(1992).
47:Berkeley
69:Banking
219:
185:
118:
63:Liu Lu
35:degree
230:2012
217:ISBN
196:2012
183:ISBN
162:2012
153:Risk
129:2012
116:ISBN
32:r.e.
57:to
267::
65:.
253:.
232:.
198:.
164:.
131:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.