David Corfield Latest Revisions

• 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
• Vienna ( Vienna(rev # 8) | history )
  by David Corfield at November 24, 2019 at 18:52:41
• Home Page ( Home Page(rev # 95) | history )
  by David Corfield at November 21, 2019 at 11:08:40
• Vienna ( Vienna(rev # 7) | history )
  by David Corfield at November 21, 2019 at 10:44:14
• Vienna ( Vienna(rev # 6) | history )
  by David Corfield at November 21, 2019 at 07:45:08
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 7) | history )
  by David Corfield at November 19, 2019 at 14:05:21
• Vienna ( Vienna(rev # 5) | history )
  by David Corfield at November 19, 2019 at 08:41:08
• Home Page ( Home Page(rev # 94) | history )
  by David Corfield at November 18, 2019 at 08:34:37
• counterfactual ( counterfactual(rev # 1) | history )
  by David Corfield at November 18, 2019 at 08:25:52
• Vienna ( Vienna(rev # 4) | history )
  by David Corfield at November 17, 2019 at 14:52:39
• Vienna ( Vienna(rev # 3) | history )
  by David Corfield at November 15, 2019 at 09:16:41
• Vienna ( Vienna(rev # 2) | history )
  by David Corfield at November 13, 2019 at 14:53:16
• Vienna ( Vienna(rev # 1) | history )
  by David Corfield at November 13, 2019 at 11:58:05
• Home Page ( Home Page(rev # 93) | history )
  by David Corfield at November 13, 2019 at 11:57:53
• Friedman's Dynamics of Reason ( Friedman's Dynamics of Reason(rev # 23) | history )
  by David Corfield at November 11, 2019 at 13:23:55
• deduction, induction, abduction ( deduction, induction, abduction(rev # 9) | history )
  by David Corfield at November 4, 2019 at 08:44:35
• Home Page ( Home Page(rev # 92) | history )
  by David Corfield at October 31, 2019 at 10:08:08
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 4) | history )
  by David Corfield at October 11, 2019 at 14:24:59
• Home Page ( Home Page(rev # 91) | history )
  by David Corfield at October 11, 2019 at 14:14:49
• probability ( probability(rev # 17) | history )
  by David Corfield at October 11, 2019 at 13:05:56
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 3) | history )
  by David Corfield at October 11, 2019 at 11:54:17
• Home Page ( Home Page(rev # 90) | history )
  by David Corfield at October 11, 2019 at 11:53:08
• history ( history(rev # 2) | history )
  by David Corfield at October 10, 2019 at 12:48:36
• history ( history(rev # 1) | history )
  by David Corfield at October 10, 2019 at 11:06:11
• Home Page ( Home Page(rev # 89) | history )
  by David Corfield at October 10, 2019 at 10:59:34
• Some Perplexities about Time
  by David Corfield at October 9, 2019 at 20:58:45
• R G Collingwood ( R G Collingwood(rev # 8) | history )
  by David Corfield at October 9, 2019 at 20:56:12
• Narrative notes ( Narrative notes(rev # 9) | history )
  by David Corfield at September 26, 2019 at 05:38:17
• Narrative notes ( Narrative notes(rev # 8) | history )
  by David Corfield at September 25, 2019 at 13:06:32
• Narrative notes ( Narrative notes(rev # 7) | history )
  by David Corfield at September 25, 2019 at 07:40:02
• modality ( modality(rev # 27) | history )
  by David Corfield at September 23, 2019 at 10:18:55
• modality ( modality(rev # 26) | history )
  by David Corfield at September 20, 2019 at 14:26:41
• Narrative notes ( Narrative notes(rev # 6) | history )
  by David Corfield at September 18, 2019 at 12:56:08
• Narrative notes ( Narrative notes(rev # 5) | history )
  by David Corfield at September 18, 2019 at 08:10:59
• endorsements ( endorsements(rev # 4) | history )
  by David Corfield at September 18, 2019 at 07:26:00
• Narrative notes ( Narrative notes(rev # 4) | history )
  by David Corfield at September 13, 2019 at 09:24:08
• Narrative notes ( Narrative notes(rev # 3) | history )
  by David Corfield at September 13, 2019 at 08:35:25
• deduction, induction, abduction ( deduction, induction, abduction(rev # 8) | history )
  by David Corfield at September 12, 2019 at 15:42:37
• probability ( probability(rev # 16) | history )
  by David Corfield at September 12, 2019 at 14:58:51
• Narrative notes ( Narrative notes(rev # 2) | history )
  by David Corfield at September 12, 2019 at 10:22:55
• Narrative notes ( Narrative notes(rev # 1) | history )
  by David Corfield at September 12, 2019 at 08:32:35
• Home Page ( Home Page(rev # 88) | history )
  by David Corfield at September 12, 2019 at 07:41:03
• modality ( modality(rev # 25) | history )
  by David Corfield at September 12, 2019 at 07:34:30
• endorsements ( endorsements(rev # 3) | history )
  by David Corfield at September 11, 2019 at 13:53:05
• endorsements ( endorsements(rev # 2) | history )
  by David Corfield at September 10, 2019 at 19:40:44
• endorsements ( endorsements(rev # 1) | history )
  by David Corfield at September 10, 2019 at 09:54:19
• Home Page ( Home Page(rev # 87) | history )
  by David Corfield at September 10, 2019 at 09:53:20
• modality ( modality(rev # 24) | history )
  by David Corfield at September 9, 2019 at 10:38:28
• modality ( modality(rev # 23) | history )
  by David Corfield at September 9, 2019 at 09:23:36
• modality ( modality(rev # 22) | history )
  by David Corfield at September 8, 2019 at 16:30:43
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 2) | history )
  by David Corfield at September 8, 2019 at 14:39:08
• Modal Homotopy Type Theory ( Modal Homotopy Type Theory(rev # 1) | history )
  by David Corfield at September 8, 2019 at 13:10:24
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 6) | history )
  by David Corfield at September 8, 2019 at 13:09:25
• modality ( modality(rev # 21) | history )
  by David Corfield at September 8, 2019 at 10:16:48
• deduction, induction, abduction ( deduction, induction, abduction(rev # 7) | history )
  by David Corfield at August 30, 2019 at 11:26:53
• probability ( probability(rev # 15) | history )
  by David Corfield at August 22, 2019 at 15:55:15
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 9) | history )
  by David Corfield at August 13, 2019 at 08:16:34
• Home Page ( Home Page(rev # 86) | history )
  by David Corfield at August 13, 2019 at 08:14:06
• space - cohesion, etc. ( space - cohesion, etc.(rev # 2) | history )
  by David Corfield at August 12, 2019 at 10:19:59
• cohomology in mathematics ( cohomology in mathematics(rev # 29) | history )
  by David Corfield at August 12, 2019 at 08:55:55
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 8) | history )
  by David Corfield at August 10, 2019 at 14:26:37
• probability ( probability(rev # 14) | history )
  by David Corfield at August 2, 2019 at 13:58:26
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 7) | history )
  by David Corfield at July 31, 2019 at 22:09:01
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 6) | history )
  by David Corfield at July 31, 2019 at 21:34:56
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 5) | history )
  by David Corfield at July 31, 2019 at 20:28:14
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 4) | history )
  by David Corfield at July 31, 2019 at 13:52:49
• Home Page ( Home Page(rev # 85) | history )
  by David Corfield at July 31, 2019 at 07:56:56
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 3) | history )
  by David Corfield at July 31, 2019 at 07:54:38
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 2) | history )
  by David Corfield at July 27, 2019 at 18:09:13
• continuous logic, probability, quantum ( continuous logic, probability, quantum(rev # 1) | history )
  by David Corfield at July 27, 2019 at 15:14:21
• Home Page ( Home Page(rev # 84) | history )
  by David Corfield at July 27, 2019 at 15:13:08
• space - cohesion, etc. ( space - cohesion, etc.(rev # 1) | history )
  by David Corfield at July 26, 2019 at 09:18:29
• Home Page ( Home Page(rev # 83) | history )
  by David Corfield at July 26, 2019 at 09:16:52
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 13) | history )
  by David Corfield at July 8, 2019 at 14:46:26
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 12) | history )
  by David Corfield at July 5, 2019 at 10:04:39
• Type theory, Category theory and Philosophy ( Type theory, Category theory and Philosophy(rev # 11) | history )
  by David Corfield at July 4, 2019 at 09:35:26