David Corfield
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
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
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
« Previous
1
2
3
4
5
6
7
8
9
10
Next »