David Corfield Latest Revisions

• proposition ( proposition(rev # 1) | history )
  by David Corfield at February 22, 2020 at 17:51:41
• Home Page ( Home Page(rev # 112) | history )
  by David Corfield at February 22, 2020 at 17:16:40
• Individuals ( Individuals(rev # 3) | history )
  by David Corfield at February 21, 2020 at 23:03:07
• Individuals ( Individuals(rev # 2) | history )
  by David Corfield at February 20, 2020 at 15:02:53
• Home Page ( Home Page(rev # 111) | history )
  by David Corfield at February 18, 2020 at 12:16:25
• Individuals ( Individuals(rev # 1) | history )
  by David Corfield at February 18, 2020 at 10:08:25
• Peter Strawson
  by David Corfield at February 18, 2020 at 09:47:08
• Home Page ( Home Page(rev # 110) | history )
  by David Corfield at February 18, 2020 at 09:44:28
• Gilbert Ryle ( Gilbert Ryle(rev # 1) | history )
  by David Corfield at February 12, 2020 at 10:46:54
• Home Page ( Home Page(rev # 109) | history )
  by David Corfield at February 12, 2020 at 10:43:34
• Home Page ( Home Page(rev # 108) | history )
  by David Corfield at February 7, 2020 at 08:57:44
• Chapter 2 Dependent types ( Chapter 2 Dependent types(rev # 2) | history )
  by David Corfield at February 6, 2020 at 09:41:32
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 9) | history )
  by David Corfield at February 6, 2020 at 09:37:06
• Home Page ( Home Page(rev # 107) | history )
  by David Corfield at February 5, 2020 at 09:13:05
• Home Page ( Home Page(rev # 106) | history )
  by David Corfield at February 4, 2020 at 10:40:33
• Home Page ( Home Page(rev # 105) | history )
  by David Corfield at February 4, 2020 at 09:36:17
• probability ( probability(rev # 19) | history )
  by David Corfield at February 1, 2020 at 12:57:57
• fact
  by David Corfield at January 30, 2020 at 10:02:05
• Home Page ( Home Page(rev # 104) | history )
  by David Corfield at January 30, 2020 at 09:54:25
• type, object, monad, process ( type, object, monad, process(rev # 5) | history )
  by David Corfield at January 30, 2020 at 09:53:02
• n Lab discussions
  by David Corfield at January 30, 2020 at 08:01:18
• Home Page ( Home Page(rev # 103) | history )
  by David Corfield at January 30, 2020 at 07:58:39
• invariance ( invariance(rev # 10) | history )
  by David Corfield at January 29, 2020 at 17:09:27
• Chapter 5 Spatial types ( Chapter 5 Spatial types(rev # 2) | history )
  by David Corfield at January 27, 2020 at 11:40:48
• Chapter 5 Spatial types ( Chapter 5 Spatial types(rev # 1) | history )
  by David Corfield at January 26, 2020 at 20:55:54
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 8) | history )
  by David Corfield at January 26, 2020 at 20:52:23
• quotient types ( quotient types(rev # 5) | history )
  by David Corfield at January 23, 2020 at 11:43:18
• quotient types ( quotient types(rev # 4) | history )
  by David Corfield at January 23, 2020 at 11:03:16
• quotient types ( quotient types(rev # 3) | history )
  by David Corfield at January 23, 2020 at 09:44:17
• seems ( seems(rev # 2) | history )
  by David Corfield at January 23, 2020 at 09:21:45
• Chapter 3 Homotopy types
  by David Corfield at January 22, 2020 at 11:46:41
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 7) | history )
  by David Corfield at January 22, 2020 at 11:45:29
• Chapter 1 A path to a new logic ( Chapter 1 A path to a new logic(rev # 2) | history )
  by David Corfield at January 22, 2020 at 11:44:34
• Chapter 2 Dependent types ( Chapter 2 Dependent types(rev # 1) | history )
  by David Corfield at January 22, 2020 at 11:44:06
• Chapter 4 Modal types ( Chapter 4 Modal types(rev # 2) | history )
  by David Corfield at January 22, 2020 at 11:43:41
• Chapter 4 Modal types ( Chapter 4 Modal types(rev # 1) | history )
  by David Corfield at January 22, 2020 at 10:15:15
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 6) | history )
  by David Corfield at January 22, 2020 at 10:14:17
• quotient types ( quotient types(rev # 2) | history )
  by David Corfield at January 22, 2020 at 10:11:04
• type, object, monad, process ( type, object, monad, process(rev # 4) | history )
  by David Corfield at January 22, 2020 at 08:23:19
• empty ( empty(rev # 2) | history )
  by David Corfield at January 21, 2020 at 14:33:54
• seems ( seems(rev # 1) | history )
  by David Corfield at January 21, 2020 at 14:33:16
• Home Page ( Home Page(rev # 102) | history )
  by David Corfield at January 21, 2020 at 14:32:55
• quotient types ( quotient types(rev # 1) | history )
  by David Corfield at January 21, 2020 at 13:15:30
• empty ( empty(rev # 1) | history )
  by David Corfield at January 21, 2020 at 13:07:56
• Home Page ( Home Page(rev # 101) | history )
  by David Corfield at January 21, 2020 at 12:56:48
• thick concept
  by David Corfield at January 21, 2020 at 12:49:34
• Chapter 1 A path to a new logic ( Chapter 1 A path to a new logic(rev # 1) | history )
  by David Corfield at January 15, 2020 at 13:37:27
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 5) | history )
  by David Corfield at January 15, 2020 at 13:32:42
• cohomology in mathematics ( cohomology in mathematics(rev # 32) | history )
  by David Corfield at January 15, 2020 at 13:29:13
• probability ( probability(rev # 18) | history )
  by David Corfield at January 14, 2020 at 10:09:03
• deduction, induction, abduction ( deduction, induction, abduction(rev # 10) | history )
  by David Corfield at January 12, 2020 at 16:32:30
• quantum physics ( quantum physics(rev # 5) | history )
  by David Corfield at January 11, 2020 at 08:32:50
• sandbox ( sandbox(rev # 14) | history )
  by David Corfield at January 9, 2020 at 11:08:23
• cohomology in physics ( cohomology in physics(rev # 8) | history )
  by David Corfield at January 8, 2020 at 13:41:31
• least action
  by David Corfield at January 7, 2020 at 12:37:17
• Home Page ( Home Page(rev # 100) | history )
  by David Corfield at January 7, 2020 at 12:36:20
• temporal type theory ( temporal type theory(rev # 2) | history )
  by David Corfield at January 7, 2020 at 12:03:32
• old blog
  by David Corfield at January 2, 2020 at 16:21:12
• Home Page ( Home Page(rev # 99) | history )
  by David Corfield at January 2, 2020 at 16:19:01
• mathematical landscape ( mathematical landscape(rev # 3) | history )
  by David Corfield at January 2, 2020 at 16:11:27
• mathematical landscape ( mathematical landscape(rev # 2) | history )
  by David Corfield at January 2, 2020 at 15:26:10
• mathematical landscape ( mathematical landscape(rev # 1) | history )
  by David Corfield at January 2, 2020 at 14:45:01
• Home Page ( Home Page(rev # 98) | history )
  by David Corfield at January 2, 2020 at 14:38:00
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 11) | history )
  by David Corfield at January 1, 2020 at 14:14:38
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 10) | history )
  by David Corfield at January 1, 2020 at 13:43:51
• quantum physics ( quantum physics(rev # 4) | history )
  by David Corfield at December 27, 2019 at 08:42:16
• diagnosis ( diagnosis(rev # 15) | history )
  by David Corfield at December 19, 2019 at 15:42:40
• Between logic and physics ( Between logic and physics(rev # 3) | history )
  by David Corfield at December 19, 2019 at 14:50:39
• quantum physics ( quantum physics(rev # 3) | history )
  by David Corfield at December 16, 2019 at 16:13:00
• Friedman's Dynamics of Reason ( Friedman's Dynamics of Reason(rev # 26) | history )
  by David Corfield at December 16, 2019 at 09:54:01
• quantum physics ( quantum physics(rev # 2) | history )
  by David Corfield at December 14, 2019 at 16:58:36
• Home Page ( Home Page(rev # 97) | history )
  by David Corfield at December 14, 2019 at 16:55:33
• Event types ( Event types(rev # 12) | history )
  by David Corfield at December 14, 2019 at 14:59:28
• Do R-inferentialism ( Do R-inferentialism(rev # 2) | history )
  by David Corfield at December 11, 2019 at 14:54:15
• Friedman's Dynamics of Reason ( Friedman's Dynamics of Reason(rev # 25) | history )
  by David Corfield at December 11, 2019 at 14:42:07
• Friedman's Dynamics of Reason ( Friedman's Dynamics of Reason(rev # 24) | history )
  by David Corfield at December 11, 2019 at 09:22:41
• Vienna ( Vienna(rev # 20) | history )
  by David Corfield at December 11, 2019 at 08:52:36
• quantum physics ( quantum physics(rev # 1) | history )
  by David Corfield at December 10, 2019 at 21:15:51
• objections and observations ( objections and observations(rev # 17) | history )
  by David Corfield at December 10, 2019 at 20:28:00
• cohomology in mathematics ( cohomology in mathematics(rev # 31) | history )
  by David Corfield at December 10, 2019 at 20:26:19
• differential cohomology ( differential cohomology(rev # 2) | history )
  by David Corfield at December 10, 2019 at 18:41:55
• Home Page ( Home Page(rev # 96) | history )
  by David Corfield at December 10, 2019 at 10:17:42
• differential cohomology ( differential cohomology(rev # 1) | history )
  by David Corfield at December 10, 2019 at 10:15:49
• cohomology in mathematics ( cohomology in mathematics(rev # 30) | history )
  by David Corfield at December 10, 2019 at 10:11:42
• objections and observations ( objections and observations(rev # 16) | history )
  by David Corfield at December 10, 2019 at 08:31:33
• objections and observations ( objections and observations(rev # 15) | history )
  by David Corfield at December 9, 2019 at 17:23:59
• Vienna ( Vienna(rev # 19) | history )
  by David Corfield at December 4, 2019 at 11:43:04
• Vienna ( Vienna(rev # 18) | history )
  by David Corfield at December 3, 2019 at 14:37:36
• Vienna ( Vienna(rev # 17) | history )
  by David Corfield at December 2, 2019 at 11:47:51
• Vienna ( Vienna(rev # 16) | history )
  by David Corfield at December 2, 2019 at 10:07:24
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 6) | history )
  by David Corfield at December 1, 2019 at 14:00:03
• Vienna ( Vienna(rev # 15) | history )
  by David Corfield at December 1, 2019 at 13:43:34
• Vienna ( Vienna(rev # 14) | history )
  by Urs Schreiber? at December 1, 2019 at 12:16:53
• Vienna ( Vienna(rev # 13) | history )
  by David Corfield at December 1, 2019 at 11:56:53
• Friedman's schema ( Friedman's schema(rev # 3) | history )
  by Anonymous at November 30, 2019 at 15:08:54
• Vienna ( Vienna(rev # 12) | history )
  by David Corfield at November 28, 2019 at 15:23:42
• Vienna ( Vienna(rev # 11) | history )
  by David Corfield at November 28, 2019 at 14:09:05
• Vienna ( Vienna(rev # 10) | history )
  by David Corfield at November 28, 2019 at 12:59:57
• type, object, monad, process ( type, object, monad, process(rev # 3) | history )
  by David Corfield at November 28, 2019 at 10:48:03
• Vienna ( Vienna(rev # 9) | history )
  by David Corfield at November 26, 2019 at 14:27:56