David Corfield
Latest Revisions

• Lautman and the Reality of Mathematics ( Lautman and the Reality of Mathematics(rev # 2) | history )
  by David Corfield at July 30, 2020 at 10:18:52
• sandbox ( sandbox(rev # 19) | history )
  by David Corfield at July 30, 2020 at 04:47:42
• philosophy of history ( philosophy of history(rev # 6) | history )
  by David Corfield at July 6, 2020 at 08:02:18
• philosophy of history ( philosophy of history(rev # 5) | history )
  by David Corfield at July 6, 2020 at 07:11:51
• philosophy of history ( philosophy of history(rev # 4) | history )
  by David Corfield at July 3, 2020 at 10:44:24
• philosophy of history ( philosophy of history(rev # 3) | history )
  by David Corfield at July 3, 2020 at 05:17:59
• philosophy of history ( philosophy of history(rev # 2) | history )
  by David Corfield at July 2, 2020 at 10:47:42
• philosophy of history ( philosophy of history(rev # 1) | history )
  by David Corfield at June 23, 2020 at 09:46:12
• Home Page ( Home Page(rev # 124) | history )
  by David Corfield at June 23, 2020 at 09:33:04
• relation between category theory and type theory ( relation between category theory and type theory(rev # 3) | history )
  by David Corfield at June 23, 2020 at 07:30:18
• relation between category theory and type theory ( relation between category theory and type theory(rev # 2) | history )
  by David Corfield at June 22, 2020 at 10:58:49
• relation between category theory and type theory ( relation between category theory and type theory(rev # 1) | history )
  by David Corfield at June 22, 2020 at 05:02:57
• Home Page ( Home Page(rev # 123) | history )
  by David Corfield at June 22, 2020 at 04:55:31
• endorsements ( endorsements(rev # 5) | history )
  by David Corfield at June 16, 2020 at 06:25:58
• Lassiter, Graded Modality ( Lassiter, Graded Modality(rev # 3) | history )
  by David Corfield at June 15, 2020 at 10:47:03
• Lassiter, Graded Modality ( Lassiter, Graded Modality(rev # 2) | history )
  by David Corfield at June 15, 2020 at 04:49:02
• graded modality ( graded modality(rev # 12) | history )
  by David Corfield at June 10, 2020 at 05:09:09
• Lassiter, Graded Modality ( Lassiter, Graded Modality(rev # 1) | history )
  by David Corfield at June 10, 2020 at 05:08:54
• graded modality ( graded modality(rev # 11) | history )
  by David Corfield at June 9, 2020 at 14:25:06
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 7) | history )
  by David Corfield at June 5, 2020 at 04:48:59
• graded modality ( graded modality(rev # 10) | history )
  by David Corfield at May 31, 2020 at 17:08:06
• concrete universal
  by David Corfield at May 30, 2020 at 04:13:35
• Home Page ( Home Page(rev # 122) | history )
  by David Corfield at May 30, 2020 at 03:56:07
• graded modality ( graded modality(rev # 9) | history )
  by David Corfield at May 29, 2020 at 10:53:39
• graded modality ( graded modality(rev # 8) | history )
  by David Corfield at May 28, 2020 at 04:47:11
• paradigm shift
  by David Corfield at May 18, 2020 at 03:27:14
• Home Page ( Home Page(rev # 121) | history )
  by David Corfield at May 18, 2020 at 02:57:39
• deduction, induction, abduction ( deduction, induction, abduction(rev # 11) | history )
  by David Corfield at May 15, 2020 at 02:54:21
• Home Page ( Home Page(rev # 120) | history )
  by David Corfield at May 14, 2020 at 11:37:31
• modality ( modality(rev # 28) | history )
  by David Corfield at May 14, 2020 at 05:42:41
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 10) | history )
  by David Corfield at May 13, 2020 at 06:01:34
• sandbox ( sandbox(rev # 18) | history )
  by David Corfield at May 12, 2020 at 06:43:41
• intermodality
  by David Corfield at May 7, 2020 at 18:10:44
• Home Page ( Home Page(rev # 119) | history )
  by David Corfield at May 7, 2020 at 18:10:18
• dependency ( dependency(rev # 3) | history )
  by David Corfield at May 6, 2020 at 11:52:45
• sandbox ( sandbox(rev # 17) | history )
  by David Corfield at May 6, 2020 at 07:40:45
• graded modality ( graded modality(rev # 7) | history )
  by David Corfield at May 3, 2020 at 13:50:30
• graded modality ( graded modality(rev # 6) | history )
  by David Corfield at May 3, 2020 at 06:19:43
• Home Page ( Home Page(rev # 118) | history )
  by David Corfield at May 3, 2020 at 06:15:36
• dependency ( dependency(rev # 2) | history )
  by David Corfield at May 3, 2020 at 06:14:26
• old tools
  by David Corfield at May 2, 2020 at 04:18:52
• Home Page ( Home Page(rev # 117) | history )
  by David Corfield at May 2, 2020 at 04:14:19
• dependency ( dependency(rev # 1) | history )
  by David Corfield at May 2, 2020 at 04:03:07
• probability ( probability(rev # 26) | history )
  by David Corfield at April 29, 2020 at 06:06:48
• probability ( probability(rev # 25) | history )
  by David Corfield at April 29, 2020 at 05:30:10
• invariance ( invariance(rev # 12) | history )
  by David Corfield at April 27, 2020 at 10:39:13
• Home Page ( Home Page(rev # 116) | history )
  by David Corfield at April 22, 2020 at 10:14:49
• sandbox ( sandbox(rev # 16) | history )
  by David Corfield at April 16, 2020 at 14:02:42
• probability ( probability(rev # 24) | history )
  by David Corfield at April 9, 2020 at 09:15:17
• elements ( elements(rev # 2) | history )
  by David Corfield at April 8, 2020 at 11:01:49
• elements ( elements(rev # 1) | history )
  by David Corfield at April 8, 2020 at 05:19:56
• Home Page ( Home Page(rev # 115) | history )
  by David Corfield at April 8, 2020 at 05:11:57
• Rudolf Carnap ( Rudolf Carnap(rev # 3) | history )
  by David Corfield at April 8, 2020 at 04:55:36
• probability ( probability(rev # 23) | history )
  by David Corfield at April 3, 2020 at 07:41:04
• probability ( probability(rev # 22) | history )
  by David Corfield at April 3, 2020 at 06:06:43
• probability ( probability(rev # 21) | history )
  by David Corfield at April 3, 2020 at 05:34:19
• proposition ( proposition(rev # 9) | history )
  by David Corfield at March 10, 2020 at 10:30:46
• invariance ( invariance(rev # 11) | history )
  by David Corfield at March 10, 2020 at 05:29:22
• Home Page ( Home Page(rev # 114) | history )
  by David Corfield at February 28, 2020 at 15:33:57
• Understanding the Infinite II - Coalgebra
  by David Corfield at February 28, 2020 at 12:27:42
• Home Page ( Home Page(rev # 113) | history )
  by David Corfield at February 28, 2020 at 12:24:58
• Robert Brandom ( Robert Brandom(rev # 13) | history )
  by David Corfield at February 28, 2020 at 05:20:05
• proposition ( proposition(rev # 8) | history )
  by David Corfield at February 28, 2020 at 04:39:25
• probability ( probability(rev # 20) | history )
  by David Corfield at February 27, 2020 at 12:14:40
• proposition ( proposition(rev # 7) | history )
  by David Corfield at February 25, 2020 at 12:25:56
• proposition ( proposition(rev # 6) | history )
  by David Corfield at February 25, 2020 at 09:28:54
• proposition ( proposition(rev # 5) | history )
  by David Corfield at February 25, 2020 at 08:45:17
• proposition ( proposition(rev # 4) | history )
  by David Corfield at February 25, 2020 at 06:03:12
• proposition ( proposition(rev # 3) | history )
  by David Corfield at February 24, 2020 at 09:18:20
• proposition ( proposition(rev # 2) | history )
  by David Corfield at February 24, 2020 at 04:33:34
• sandbox ( sandbox(rev # 15) | history )
  by David Corfield at February 23, 2020 at 14:15:01
• proposition ( proposition(rev # 1) | history )
  by David Corfield at February 22, 2020 at 12:51:41
• Home Page ( Home Page(rev # 112) | history )
  by David Corfield at February 22, 2020 at 12:16:40
• Individuals ( Individuals(rev # 3) | history )
  by David Corfield at February 21, 2020 at 18:03:07
• Individuals ( Individuals(rev # 2) | history )
  by David Corfield at February 20, 2020 at 10:02:53
• Home Page ( Home Page(rev # 111) | history )
  by David Corfield at February 18, 2020 at 07:16:25
• Individuals ( Individuals(rev # 1) | history )
  by David Corfield at February 18, 2020 at 05:08:25
• Peter Strawson
  by David Corfield at February 18, 2020 at 04:47:08
• Home Page ( Home Page(rev # 110) | history )
  by David Corfield at February 18, 2020 at 04:44:28
• Gilbert Ryle
  by David Corfield at February 12, 2020 at 05:46:54
• Home Page ( Home Page(rev # 109) | history )
  by David Corfield at February 12, 2020 at 05:43:34
• Home Page ( Home Page(rev # 108) | history )
  by David Corfield at February 7, 2020 at 03:57:44
• Chapter 2 Dependent types ( Chapter 2 Dependent types(rev # 2) | history )
  by David Corfield at February 6, 2020 at 04:41:32
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 9) | history )
  by David Corfield at February 6, 2020 at 04:37:06
• Home Page ( Home Page(rev # 107) | history )
  by David Corfield at February 5, 2020 at 04:13:05
• Home Page ( Home Page(rev # 106) | history )
  by David Corfield at February 4, 2020 at 05:40:33
• Home Page ( Home Page(rev # 105) | history )
  by David Corfield at February 4, 2020 at 04:36:17
• probability ( probability(rev # 19) | history )
  by David Corfield at February 1, 2020 at 07:57:57
• fact
  by David Corfield at January 30, 2020 at 05:02:05
• Home Page ( Home Page(rev # 104) | history )
  by David Corfield at January 30, 2020 at 04:54:25
• type, object, monad, process ( type, object, monad, process(rev # 5) | history )
  by David Corfield at January 30, 2020 at 04:53:02
• n Lab discussions
  by David Corfield at January 30, 2020 at 03:01:18
• Home Page ( Home Page(rev # 103) | history )
  by David Corfield at January 30, 2020 at 02:58:39
• invariance ( invariance(rev # 10) | history )
  by David Corfield at January 29, 2020 at 12:09:27
• Chapter 5 Spatial types ( Chapter 5 Spatial types(rev # 2) | history )
  by David Corfield at January 27, 2020 at 06:40:48
• Chapter 5 Spatial types ( Chapter 5 Spatial types(rev # 1) | history )
  by David Corfield at January 26, 2020 at 15:55:54
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 8) | history )
  by David Corfield at January 26, 2020 at 15:52:23
• quotient types ( quotient types(rev # 5) | history )
  by David Corfield at January 23, 2020 at 06:43:18
• quotient types ( quotient types(rev # 4) | history )
  by David Corfield at January 23, 2020 at 06:03:16
• quotient types ( quotient types(rev # 3) | history )
  by David Corfield at January 23, 2020 at 04:44:17