David Corfield
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

Robert Brandom
(
Robert Brandom(rev # 9)

history
)
by
David Corfield
at November 17, 2018 at 11:22:14
Robert Brandom
(
Robert Brandom(rev # 8)

history
)
by
David Corfield
at November 17, 2018 at 10:47:29
Narrative and the Rationality of Mathematical Practice
(
Narrative and the Rationality of Mathematical Practice(rev # 4)

history
)
by
David Corfield
at November 17, 2018 at 08:20:57
Robert Brandom
(
Robert Brandom(rev # 7)

history
)
by
David Corfield
at November 16, 2018 at 08:56:19
modal type theory
(
modal type theory(rev # 5)

history
)
by
David Corfield
at November 13, 2018 at 05:47:42
Robert Brandom
(
Robert Brandom(rev # 6)

history
)
by
David Corfield
at November 2, 2018 at 11:07:30
modality
(
modality(rev # 19)

history
)
by
David Corfield
at November 2, 2018 at 09:37:22
modal type theory
(
modal type theory(rev # 4)

history
)
by
David Corfield
at November 2, 2018 at 08:07:34
modality
(
modality(rev # 18)

history
)
by
David Corfield
at November 2, 2018 at 08:05:57
modality
(
modality(rev # 17)

history
)
by
David Corfield
at November 2, 2018 at 07:23:41
modality
(
modality(rev # 16)

history
)
by
David Corfield
at November 2, 2018 at 06:30:27
Home Page
(
Home Page(rev # 74)

history
)
by
David Corfield
at November 2, 2018 at 06:02:28
modality
(
modality(rev # 15)

history
)
by
David Corfield
at November 2, 2018 at 05:01:10
modality
(
modality(rev # 14)

history
)
by
David Corfield
at November 2, 2018 at 03:28:47
modality
(
modality(rev # 13)

history
)
by
David Corfield
at November 1, 2018 at 15:52:22
Home Page
(
Home Page(rev # 73)

history
)
by
David Corfield
at November 1, 2018 at 15:01:53
modality
(
modality(rev # 12)

history
)
by
David Corfield
at November 1, 2018 at 13:09:39
graded modality
(
graded modality(rev # 5)

history
)
by
David Corfield
at November 1, 2018 at 13:04:20
graded modality
(
graded modality(rev # 4)

history
)
by
David Corfield
at November 1, 2018 at 09:33:48
graded modality
(
graded modality(rev # 3)

history
)
by
David Corfield
at November 1, 2018 at 08:40:14
polarity
(
polarity(rev # 2)

history
)
by
David Corfield
at November 1, 2018 at 08:11:24
graded modality
(
graded modality(rev # 2)

history
)
by
David Corfield
at November 1, 2018 at 04:05:48
graded modality
(
graded modality(rev # 1)

history
)
by
David Corfield
at November 1, 2018 at 02:43:51
modality
(
modality(rev # 11)

history
)
by
David Corfield
at November 1, 2018 at 02:27:37
Robert Brandom
(
Robert Brandom(rev # 5)

history
)
by
David Corfield
at October 31, 2018 at 09:24:52
Robert Brandom
(
Robert Brandom(rev # 4)

history
)
by
David Corfield
at October 30, 2018 at 06:36:12
Robert Brandom
(
Robert Brandom(rev # 3)

history
)
by
David Corfield
at October 29, 2018 at 12:38:41
Robert Brandom
(
Robert Brandom(rev # 2)

history
)
by
David Corfield
at October 29, 2018 at 11:19:39
Robert Brandom
(
Robert Brandom(rev # 1)

history
)
by
David Corfield
at October 27, 2018 at 07:07:38
Home Page
(
Home Page(rev # 72)

history
)
by
David Corfield
at October 27, 2018 at 07:03:27
sandbox
(
sandbox(rev # 10)

history
)
by
David Corfield
at October 9, 2018 at 09:10:55
modality
(
modality(rev # 10)

history
)
by
David Corfield
at September 27, 2018 at 05:41:04
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
(
polarity(rev # 1)

history
)
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
« Previous
1
2
3
4
5
6
Next »