201:
there. He was offered a
Readership position and following a lecturing visit to Monash University in 1968, he was elected to a Chair in Pure Mathematics. He accepted this position and as of 2010, Crossley continues to be active at Monash University where he serves through its Faculty of Information
192:
from 1960 to 1962, before taking up a one-year Junior
Research Fellowship there; he received his DPhil and MA (Mathematics) in 1963. His early career was spent at Oxford where he was the first university lecturer in mathematical logic and was a Fellow of
209:. Co-written with some of his students, the book popularized the subject to the interested layman. Many of Crossley's doctoral students have gone on to be professors themselves and have written books in the field of mathematics or computing, including
232:, a collection of photographs shot by Crossley around the world that illustrates the title and theme of the exhibition. A number of these photographs since have appeared in publications in Australia, Britain and the Philippines.
305:
Constant J. Mews, John N. Crossley, Catherine
Jeffreys, Leigh McKinnon, and Carol Williams (ed and trans.), Johannes de Grocheio. Consortium on the Teaching of the Middle Ages (TEAMS), Kalamazoo, MI.,
359:
198:
500:
326:
480:
475:
465:
17:
460:
495:
490:
181:
228:
Crossley is also an avid photographer. In 1974 he first exhibited his photographs in
Melbourne and again in 2005 he exhibited
445:
356:
205:
Crossley has written books in logic, mathematics and computer science. He is known as the lead author of the book
450:
485:
470:
389:
185:
415:
455:
141:(born 28 September 1937) is a British-Australian mathematician and logician who writes in the field of
323:
194:
374:
440:
189:
146:
435:
81:
8:
161:
154:
283:, Shen Kangshen, John N. Crossley and Anthony W.-C. Lun. Oxford University Press, 1999
165:
142:
85:
150:
109:
363:
330:
273:
290:
218:
214:
126:
71:
400:
299:
John N. Crossley
Australian Council for Educational Research, Camberwell, 2007
429:
385:
269:, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin, 1974
266:
210:
122:
102:
222:
420:
169:
56:
293:, Springer Monographs in Computer Science, Springer, New York, 2005
249:
John N. Crossley North-Holland
Publishing Company, Amsterdam, 1969
281:
Nine
Chapters on the Mathematical Art -- Companion & Commentary
60:
277:
John
Newsome Crossley, World Scientific, Singapore, 1987
287:
Adapting proofs-as-programs: The Curry-Howard
Protocol
289:, Iman Hafiz Poernomo, John Newsome Crossley and
427:
172:, to which he has been connected since 1968.
27:British-Australian mathematician and logician
357:Quondam Fellows at All Souls College, Oxford
182:Queen Elizabeth Grammar School, Wakefield
188:. He was a Harmsworth Senior Scholar at
346:. Oxford: Basil Blackwell. p. 521.
14:
428:
375:List of publications at philpapers.org
341:
481:21st-century Australian philosophers
476:20th-century Australian philosophers
466:Fellows of All Souls College, Oxford
335:
501:Alumni of St John's College, Oxford
461:Academic staff of Monash University
24:
157:in Australia and South East Asia.
25:
512:
496:Fellows of Merton College, Oxford
409:
344:Merton College Register 1900-1964
324:Monash University Staff Directory
153:. He is involved in the field of
491:Alumni of Merton College, Oxford
235:
394:
379:
368:
350:
317:
13:
1:
390:Mathematics Genealogy Project
310:
259:Oxford University Press, 1972
18:John Crossley (mathematician)
421:Homepage of John N. Crossley
342:Levens, R.G.C., ed. (1964).
175:
7:
10:
517:
253:What is Mathematical Logic
207:What is Mathematical Logic
446:Scientists from Yorkshire
329:18 September 2008 at the
195:All Souls College, Oxford
186:St John's College, Oxford
180:Crossley was educated at
143:logic in computer science
132:
118:
108:
98:
91:
77:
67:
39:
32:
247:Constructive Order Types
240:
160:As of 2010, Crossley is
297:Growing ideas of number
274:The emergence of number
230:Composition and Context
451:English mathematicians
265:John N. Crossley and
263:Combinatorial Functors
184:, and then went up to
147:history of mathematics
386:John Newsome Crossley
362:5 August 2010 at the
139:John Newsome Crossley
114:Kenneth A. H. Gravett
34:John Newsome Crossley
486:English philosophers
471:Australian logicians
416:John Gough's Article
82:University of Oxford
162:Emeritus Professor
155:mathematical logic
456:English logicians
255:John N. Crossley
166:Monash University
136:
135:
119:Doctoral students
93:Scientific career
86:Monash University
50:28 September 1937
16:(Redirected from
508:
403:
398:
392:
383:
377:
372:
366:
354:
348:
347:
339:
333:
321:
197:. He is still a
151:medieval history
110:Doctoral advisor
53:
49:
47:
30:
29:
21:
516:
515:
511:
510:
509:
507:
506:
505:
426:
425:
412:
407:
406:
399:
395:
384:
380:
373:
369:
364:Wayback Machine
355:
351:
340:
336:
331:Wayback Machine
322:
318:
313:
243:
238:
178:
125:
84:
78:Alma mater
63:
54:
51:
45:
43:
35:
28:
23:
22:
15:
12:
11:
5:
514:
504:
503:
498:
493:
488:
483:
478:
473:
468:
463:
458:
453:
448:
443:
438:
424:
423:
418:
411:
410:External links
408:
405:
404:
393:
378:
367:
349:
334:
315:
314:
312:
309:
308:
307:
300:
294:
291:Martin Wirsing
284:
278:
270:
260:
250:
242:
239:
237:
234:
219:John Lane Bell
215:Wilfrid Hodges
199:Quondam Fellow
190:Merton College
177:
174:
134:
133:
130:
129:
127:Wilfrid Hodges
120:
116:
115:
112:
106:
105:
100:
96:
95:
89:
88:
79:
75:
74:
69:
65:
64:
55:
41:
37:
36:
33:
26:
9:
6:
4:
3:
2:
513:
502:
499:
497:
494:
492:
489:
487:
484:
482:
479:
477:
474:
472:
469:
467:
464:
462:
459:
457:
454:
452:
449:
447:
444:
442:
441:Living people
439:
437:
434:
433:
431:
422:
419:
417:
414:
413:
402:
401:Hinston Brook
397:
391:
387:
382:
376:
371:
365:
361:
358:
353:
345:
338:
332:
328:
325:
320:
316:
304:
301:
298:
295:
292:
288:
285:
282:
279:
276:
275:
271:
268:
264:
261:
258:
254:
251:
248:
245:
244:
233:
231:
226:
224:
220:
216:
212:
208:
203:
200:
196:
191:
187:
183:
173:
171:
167:
163:
158:
156:
152:
148:
144:
140:
131:
128:
124:
121:
117:
113:
111:
107:
104:
101:
97:
94:
90:
87:
83:
80:
76:
73:
70:
66:
62:
58:
52:(age 86)
42:
38:
31:
19:
396:
381:
370:
352:
343:
337:
319:
302:
296:
286:
280:
272:
262:
256:
252:
246:
236:Publications
229:
227:
206:
204:
202:Technology.
179:
164:of Logic at
159:
138:
137:
92:
436:1937 births
267:Anil Nerode
211:Peter Aczel
123:Peter Aczel
103:Mathematics
68:Nationality
430:Categories
311:References
303:Ars musice
223:Rod Downey
46:1937-09-28
176:Biography
170:Australia
57:Yorkshire
360:Archived
327:Archived
388:at the
72:British
61:England
257:et al.
99:Fields
241:Books
306:2011
221:and
149:and
40:Born
432::
225:.
217:,
213:,
168:,
145:,
59:,
48:)
44:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.