David Corfield
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

Home Page
(
Home Page(rev # 71)

history
)
by
David Corfield
at September 20, 2018 at 03:30:48
Home Page
(
Home Page(rev # 70)

history
)
by
David Corfield
at September 5, 2018 at 07:59:24
modality
(
modality(rev # 9)

history
)
by
Anonymous
?
at August 29, 2018 at 11:40:59
modality
(
modality(rev # 8)

history
)
by
Anonymous
?
at August 29, 2018 at 04:48:36
modality
(
modality(rev # 7)

history
)
by
David Corfield
at August 27, 2018 at 12:40:33
modality
(
modality(rev # 6)

history
)
by
David Corfield
at August 24, 2018 at 10:44:17
modality
(
modality(rev # 5)

history
)
by
Anonymous
?
at August 24, 2018 at 08:32:36
modality
(
modality(rev # 4)

history
)
by
Anonymous
?
at August 24, 2018 at 07:16:22
modality
(
modality(rev # 3)

history
)
by
Anonymous
?
at August 24, 2018 at 05:56:23
modality
(
modality(rev # 2)

history
)
by
Anonymous
?
at August 23, 2018 at 11:03:34
modality
(
modality(rev # 1)

history
)
by
Anonymous
?
at August 23, 2018 at 08:46:46
Home Page
(
Home Page(rev # 69)

history
)
by
Anonymous
?
at August 23, 2018 at 08:37:15
Home Page
(
Home Page(rev # 68)

history
)
by
David Corfield
at August 16, 2018 at 10:17:02
Home Page
(
Home Page(rev # 67)

history
)
by
David Corfield
at August 16, 2018 at 00:13:52
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
« Previous
1
2
3
4
5
6
Next »