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