David Corfield
Latest Revisions

• Home Page ( Home Page(rev # 66) | history )
  by David Corfield at July 5, 2018 at 07:32:26
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 5) | history )
  by David Corfield at July 5, 2018 at 07:27:27
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 16) | history )
  by Anonymous? at June 18, 2018 at 06:23:58
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 15) | history )
  by David Corfield at June 15, 2018 at 06:53:34
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 14) | history )
  by Anonymous? at June 12, 2018 at 09:21:45
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 13) | history )
  by David Corfield at June 11, 2018 at 06:21:49
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 12) | history )
  by David Corfield at June 8, 2018 at 06:14:07
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 11) | history )
  by Anonymous? at June 7, 2018 at 14:40:18
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 10) | history )
  by David Corfield at June 7, 2018 at 12:21:43
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 9) | history )
  by David Corfield at June 7, 2018 at 11:14:04
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 8) | history )
  by Anonymous? at June 7, 2018 at 10:07:20
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 7) | history )
  by David Corfield at June 7, 2018 at 07:40:10
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 6) | history )
  by David Corfield at June 7, 2018 at 03:29:25
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 45) | history )
  by David Corfield at June 6, 2018 at 11:55:41
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 5) | history )
  by David Corfield at June 6, 2018 at 11:33:50
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 4) | history )
  by David Corfield at June 6, 2018 at 10:25:26
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 44) | history )
  by David Corfield at June 6, 2018 at 08:47:46
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 3) | history )
  by Anonymous? at June 6, 2018 at 08:02:22
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 2) | history )
  by David Corfield at June 6, 2018 at 07:47:22
• Practical and Foundational Aspects of Type Theory ( Practical and Foundational Aspects of Type Theory(rev # 1) | history )
  by David Corfield at June 6, 2018 at 04:20:05
• Home Page ( Home Page(rev # 65) | history )
  by David Corfield at June 6, 2018 at 04:16:47
• Home Page ( Home Page(rev # 64) | history )
  by David Corfield at May 28, 2018 at 05:30:26
• deduction, induction, abduction ( deduction, induction, abduction(rev # 5) | history )
  by David Corfield at February 14, 2018 at 06:38:47
• Home Page ( Home Page(rev # 63) | history )
  by David Corfield at February 8, 2018 at 07:27:38
• Home Page ( Home Page(rev # 62) | history )
  by David Corfield at February 8, 2018 at 06:47:23
• papers
  by David Corfield at February 6, 2018 at 13:08:33
• Home Page ( Home Page(rev # 61) | history )
  by David Corfield at February 6, 2018 at 13:07:20
• Home Page ( Home Page(rev # 60) | history )
  by David Corfield at February 6, 2018 at 06:48:12
• deduction, induction, abduction ( deduction, induction, abduction(rev # 4) | history )
  by David Corfield at January 27, 2018 at 06:48:33
• polarity
  by David Corfield at January 21, 2018 at 09:45:52
• Home Page ( Home Page(rev # 59) | history )
  by David Corfield at January 21, 2018 at 09:40:16
• Two Cultures ( Two Cultures(rev # 11) | history )
  by David Corfield at December 23, 2017 at 02:57:03
• Home Page ( Home Page(rev # 58) | history )
  by David Corfield at December 19, 2017 at 06:01:01
• Narrative and the Rationality of Mathematical Practice ( Narrative and the Rationality of Mathematical Practice(rev # 3) | history )
  by David Corfield at December 19, 2017 at 05:59:32
• Home Page ( Home Page(rev # 57) | history )
  by David Corfield at December 19, 2017 at 05:07:51
• deduction, induction, abduction ( deduction, induction, abduction(rev # 3) | history )
  by David Corfield at October 23, 2017 at 16:51:02
• Home Page ( Home Page(rev # 56) | history )
  by David Corfield at October 18, 2017 at 04:48:21
• sandbox ( sandbox(rev # 9) | history )
  by David Corfield at October 16, 2017 at 17:24:59
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 5) | history )
  by David Corfield at October 10, 2017 at 08:56:04
• Home Page ( Home Page(rev # 55) | history )
  by David Corfield at October 10, 2017 at 08:28:28
• deduction, induction, abduction ( deduction, induction, abduction(rev # 2) | history )
  by David Corfield at October 5, 2017 at 06:05:47
• deduction, induction, abduction ( deduction, induction, abduction(rev # 1) | history )
  by David Corfield at October 5, 2017 at 04:51:58
• Home Page ( Home Page(rev # 54) | history )
  by David Corfield at October 5, 2017 at 04:39:37
• Home Page ( Home Page(rev # 53) | history )
  by David Corfield at September 23, 2017 at 09:14:34
• sandbox ( sandbox(rev # 8) | history )
  by David Corfield at September 21, 2017 at 04:26:27
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 4) | history )
  by David Corfield at September 15, 2017 at 05:02:04
• Home Page ( Home Page(rev # 52) | history )
  by David Corfield at September 15, 2017 at 04:19:09
• Smoke rings
  by David Corfield at September 15, 2017 at 04:11:50
• philosophy of real mathematics
  by David Corfield at September 14, 2017 at 12:19:50
• Towards a Philosophy of Real Mathematics ( Towards a Philosophy of Real Mathematics(rev # 2) | history )
  by David Corfield at September 14, 2017 at 12:18:41
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 3) | history )
  by David Corfield at September 14, 2017 at 12:15:09
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 4) | history )
  by David Corfield at September 14, 2017 at 11:55:58
• sandbox ( sandbox(rev # 7) | history )
  by David Corfield at September 6, 2017 at 11:08:17
• Narrative and the Rationality of Mathematical Practice ( Narrative and the Rationality of Mathematical Practice(rev # 2) | history )
  by David Corfield at August 29, 2017 at 03:38:55
• Lautman and the Reality of Mathematics
  by David Corfield at June 26, 2017 at 05:34:14
• Home Page ( Home Page(rev # 51) | history )
  by David Corfield at June 26, 2017 at 05:26:52
• sandbox ( sandbox(rev # 6) | history )
  by David Corfield at June 16, 2017 at 04:49:30
• sandbox ( sandbox(rev # 5) | history )
  by David Corfield at June 16, 2017 at 03:12:52
• Home Page ( Home Page(rev # 50) | history )
  by David Corfield at May 23, 2017 at 18:22:19
• sandbox ( sandbox(rev # 4) | history )
  by David Corfield at April 15, 2017 at 08:34:09
• sandbox ( sandbox(rev # 3) | history )
  by David Corfield at April 15, 2017 at 07:29:07
• Physics of the observer
  by David Corfield at April 14, 2017 at 17:35:50
• Home Page ( Home Page(rev # 49) | history )
  by David Corfield at April 14, 2017 at 17:34:54
• sandbox ( sandbox(rev # 2) | history )
  by David Corfield at April 13, 2017 at 09:46:18
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 3) | history )
  by David Corfield at March 14, 2017 at 08:41:12
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 2) | history )
  by David Corfield at March 13, 2017 at 09:12:51
• Narrative and the Rationality of Mathematical Practice ( Narrative and the Rationality of Mathematical Practice(rev # 1) | history )
  by David Corfield at March 13, 2017 at 05:16:41
• Home Page ( Home Page(rev # 48) | history )
  by David Corfield at March 13, 2017 at 05:15:02
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 1) | history )
  by David Corfield at March 13, 2017 at 05:10:29
• Home Page ( Home Page(rev # 47) | history )
  by David Corfield at March 11, 2017 at 06:18:52
• Home Page ( Home Page(rev # 46) | history )
  by David Corfield at March 3, 2017 at 10:26:25
• Mathematics as Physics ( Mathematics as Physics(rev # 2) | history )
  by David Corfield at October 29, 2016 at 11:54:45
• Mathematics as Physics ( Mathematics as Physics(rev # 1) | history )
  by David Corfield at October 27, 2016 at 10:22:19
• Home Page ( Home Page(rev # 45) | history )
  by David Corfield at October 27, 2016 at 09:25:03
• sandbox ( sandbox(rev # 1) | history )
  by David Corfield at September 4, 2016 at 05:41:01
• Home Page ( Home Page(rev # 44) | history )
  by David Corfield at September 4, 2016 at 05:40:37
• judgments ( judgments(rev # 2) | history )
  by David Corfield at August 19, 2016 at 08:37:10
• judgments ( judgments(rev # 1) | history )
  by David Corfield at August 18, 2016 at 08:59:44
• Home Page ( Home Page(rev # 43) | history )
  by David Corfield at August 18, 2016 at 08:32:42
• diagnosis ( diagnosis(rev # 14) | history )
  by David Corfield at July 25, 2016 at 08:05:49
• Event types ( Event types(rev # 11) | history )
  by David Corfield at July 22, 2016 at 04:03:02
• Davidson on events ( Davidson on events(rev # 3) | history )
  by David Corfield at July 12, 2016 at 07:05:45
• All types ( All types(rev # 2) | history )
  by David Corfield at July 7, 2016 at 04:49:47
• Brandom and material inference ( Brandom and material inference(rev # 2) | history )
  by David Corfield at July 6, 2016 at 11:56:06
• Davidson on events ( Davidson on events(rev # 2) | history )
  by David Corfield at July 1, 2016 at 08:14:48
• Davidson on events ( Davidson on events(rev # 1) | history )
  by David Corfield at June 30, 2016 at 09:28:32
• Event types ( Event types(rev # 10) | history )
  by David Corfield at June 30, 2016 at 08:37:55
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 43) | history )
  by David Corfield at June 20, 2016 at 12:17:45
• higher category theory as revolution ( higher category theory as revolution(rev # 13) | history )
  by David Corfield at June 20, 2016 at 11:53:25
• cohomology ( cohomology(rev # 28) | history )
  by David Corfield at June 16, 2016 at 15:35:31
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 42) | history )
  by David Corfield at June 15, 2016 at 07:48:27
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 41) | history )
  by David Corfield at June 12, 2016 at 05:13:51
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 40) | history )
  by David Corfield at June 8, 2016 at 06:17:44
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 39) | history )
  by David Corfield at June 5, 2016 at 11:45:07
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 38) | history )
  by David Corfield at May 23, 2016 at 05:56:55
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 37) | history )
  by David Corfield at May 19, 2016 at 07:52:38
• Event types ( Event types(rev # 9) | history )
  by David Corfield at May 12, 2016 at 09:55:51
• Event types ( Event types(rev # 8) | history )
  by David Corfield at May 12, 2016 at 09:07:38
• Event types ( Event types(rev # 7) | history )
  by David Corfield at May 12, 2016 at 07:26:33
• Type Theory and Philosophy ( Type Theory and Philosophy(rev # 36) | history )
  by David Corfield at May 11, 2016 at 12:04:44