David Corfield
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

probability
(
probability(rev # 24)

history
)
by
David Corfield
at April 9, 2020 at 09:15:17
elements
(
elements(rev # 2)

history
)
by
David Corfield
at April 8, 2020 at 11:01:49
elements
(
elements(rev # 1)

history
)
by
David Corfield
at April 8, 2020 at 05:19:56
Home Page
(
Home Page(rev # 115)

history
)
by
David Corfield
at April 8, 2020 at 05:11:57
Rudolf Carnap
(
Rudolf Carnap(rev # 3)

history
)
by
David Corfield
at April 8, 2020 at 04:55:36
probability
(
probability(rev # 23)

history
)
by
David Corfield
at April 3, 2020 at 07:41:04
probability
(
probability(rev # 22)

history
)
by
David Corfield
at April 3, 2020 at 06:06:43
probability
(
probability(rev # 21)

history
)
by
David Corfield
at April 3, 2020 at 05:34:19
proposition
(
proposition(rev # 9)

history
)
by
David Corfield
at March 10, 2020 at 10:30:46
invariance
(
invariance(rev # 11)

history
)
by
David Corfield
at March 10, 2020 at 05:29:22
Home Page
(
Home Page(rev # 114)

history
)
by
David Corfield
at February 28, 2020 at 15:33:57
Understanding the Infinite II  Coalgebra
by
David Corfield
at February 28, 2020 at 12:27:42
Home Page
(
Home Page(rev # 113)

history
)
by
David Corfield
at February 28, 2020 at 12:24:58
Robert Brandom
(
Robert Brandom(rev # 13)

history
)
by
David Corfield
at February 28, 2020 at 05:20:05
proposition
(
proposition(rev # 8)

history
)
by
David Corfield
at February 28, 2020 at 04:39:25
probability
(
probability(rev # 20)

history
)
by
David Corfield
at February 27, 2020 at 12:14:40
proposition
(
proposition(rev # 7)

history
)
by
David Corfield
at February 25, 2020 at 12:25:56
proposition
(
proposition(rev # 6)

history
)
by
David Corfield
at February 25, 2020 at 09:28:54
proposition
(
proposition(rev # 5)

history
)
by
David Corfield
at February 25, 2020 at 08:45:17
proposition
(
proposition(rev # 4)

history
)
by
David Corfield
at February 25, 2020 at 06:03:12
proposition
(
proposition(rev # 3)

history
)
by
David Corfield
at February 24, 2020 at 09:18:20
proposition
(
proposition(rev # 2)

history
)
by
David Corfield
at February 24, 2020 at 04:33:34
sandbox
(
sandbox(rev # 15)

history
)
by
David Corfield
at February 23, 2020 at 14:15:01
proposition
(
proposition(rev # 1)

history
)
by
David Corfield
at February 22, 2020 at 12:51:41
Home Page
(
Home Page(rev # 112)

history
)
by
David Corfield
at February 22, 2020 at 12:16:40
Individuals
(
Individuals(rev # 3)

history
)
by
David Corfield
at February 21, 2020 at 18:03:07
Individuals
(
Individuals(rev # 2)

history
)
by
David Corfield
at February 20, 2020 at 10:02:53
Home Page
(
Home Page(rev # 111)

history
)
by
David Corfield
at February 18, 2020 at 07:16:25
Individuals
(
Individuals(rev # 1)

history
)
by
David Corfield
at February 18, 2020 at 05:08:25
Peter Strawson
by
David Corfield
at February 18, 2020 at 04:47:08
Home Page
(
Home Page(rev # 110)

history
)
by
David Corfield
at February 18, 2020 at 04:44:28
Gilbert Ryle
by
David Corfield
at February 12, 2020 at 05:46:54
Home Page
(
Home Page(rev # 109)

history
)
by
David Corfield
at February 12, 2020 at 05:43:34
Home Page
(
Home Page(rev # 108)

history
)
by
David Corfield
at February 7, 2020 at 03:57:44
Chapter 2 Dependent types
(
Chapter 2 Dependent types(rev # 2)

history
)
by
David Corfield
at February 6, 2020 at 04:41:32
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 9)

history
)
by
David Corfield
at February 6, 2020 at 04:37:06
Home Page
(
Home Page(rev # 107)

history
)
by
David Corfield
at February 5, 2020 at 04:13:05
Home Page
(
Home Page(rev # 106)

history
)
by
David Corfield
at February 4, 2020 at 05:40:33
Home Page
(
Home Page(rev # 105)

history
)
by
David Corfield
at February 4, 2020 at 04:36:17
probability
(
probability(rev # 19)

history
)
by
David Corfield
at February 1, 2020 at 07:57:57
fact
by
David Corfield
at January 30, 2020 at 05:02:05
Home Page
(
Home Page(rev # 104)

history
)
by
David Corfield
at January 30, 2020 at 04:54:25
type, object, monad, process
(
type, object, monad, process(rev # 5)

history
)
by
David Corfield
at January 30, 2020 at 04:53:02
n Lab discussions
by
David Corfield
at January 30, 2020 at 03:01:18
Home Page
(
Home Page(rev # 103)

history
)
by
David Corfield
at January 30, 2020 at 02:58:39
invariance
(
invariance(rev # 10)

history
)
by
David Corfield
at January 29, 2020 at 12:09:27
Chapter 5 Spatial types
(
Chapter 5 Spatial types(rev # 2)

history
)
by
David Corfield
at January 27, 2020 at 06:40:48
Chapter 5 Spatial types
(
Chapter 5 Spatial types(rev # 1)

history
)
by
David Corfield
at January 26, 2020 at 15:55:54
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 8)

history
)
by
David Corfield
at January 26, 2020 at 15:52:23
quotient types
(
quotient types(rev # 5)

history
)
by
David Corfield
at January 23, 2020 at 06:43:18
quotient types
(
quotient types(rev # 4)

history
)
by
David Corfield
at January 23, 2020 at 06:03:16
quotient types
(
quotient types(rev # 3)

history
)
by
David Corfield
at January 23, 2020 at 04:44:17
seems
(
seems(rev # 2)

history
)
by
David Corfield
at January 23, 2020 at 04:21:45
Chapter 3 Homotopy types
by
David Corfield
at January 22, 2020 at 06:46:41
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 7)

history
)
by
David Corfield
at January 22, 2020 at 06: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 06:44:34
Chapter 2 Dependent types
(
Chapter 2 Dependent types(rev # 1)

history
)
by
David Corfield
at January 22, 2020 at 06:44:06
Chapter 4 Modal types
(
Chapter 4 Modal types(rev # 2)

history
)
by
David Corfield
at January 22, 2020 at 06:43:41
Chapter 4 Modal types
(
Chapter 4 Modal types(rev # 1)

history
)
by
David Corfield
at January 22, 2020 at 05:15:15
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 6)

history
)
by
David Corfield
at January 22, 2020 at 05:14:17
quotient types
(
quotient types(rev # 2)

history
)
by
David Corfield
at January 22, 2020 at 05:11:04
type, object, monad, process
(
type, object, monad, process(rev # 4)

history
)
by
David Corfield
at January 22, 2020 at 03:23:19
empty
(
empty(rev # 2)

history
)
by
David Corfield
at January 21, 2020 at 09:33:54
seems
(
seems(rev # 1)

history
)
by
David Corfield
at January 21, 2020 at 09:33:16
Home Page
(
Home Page(rev # 102)

history
)
by
David Corfield
at January 21, 2020 at 09:32:55
quotient types
(
quotient types(rev # 1)

history
)
by
David Corfield
at January 21, 2020 at 08:15:30
empty
(
empty(rev # 1)

history
)
by
David Corfield
at January 21, 2020 at 08:07:56
Home Page
(
Home Page(rev # 101)

history
)
by
David Corfield
at January 21, 2020 at 07:56:48
thick concept
by
David Corfield
at January 21, 2020 at 07: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 08:37:27
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 5)

history
)
by
David Corfield
at January 15, 2020 at 08:32:42
cohomology
(
cohomology(rev # 32)

history
)
by
David Corfield
at January 15, 2020 at 08:29:13
probability
(
probability(rev # 18)

history
)
by
David Corfield
at January 14, 2020 at 05:09:03
deduction, induction, abduction
(
deduction, induction, abduction(rev # 10)

history
)
by
David Corfield
at January 12, 2020 at 11:32:30
quantum physics
(
quantum physics(rev # 5)

history
)
by
David Corfield
at January 11, 2020 at 03:32:50
sandbox
(
sandbox(rev # 14)

history
)
by
David Corfield
at January 9, 2020 at 06:08:23
cohomology in physics
(
cohomology in physics(rev # 8)

history
)
by
David Corfield
at January 8, 2020 at 08:41:31
least action
by
David Corfield
at January 7, 2020 at 07:37:17
Home Page
(
Home Page(rev # 100)

history
)
by
David Corfield
at January 7, 2020 at 07:36:20
temporal type theory
(
temporal type theory(rev # 2)

history
)
by
David Corfield
at January 7, 2020 at 07:03:32
old blog
by
David Corfield
at January 2, 2020 at 11:21:12
Home Page
(
Home Page(rev # 99)

history
)
by
David Corfield
at January 2, 2020 at 11:19:01
mathematical landscape
(
mathematical landscape(rev # 3)

history
)
by
David Corfield
at January 2, 2020 at 11:11:27
mathematical landscape
(
mathematical landscape(rev # 2)

history
)
by
David Corfield
at January 2, 2020 at 10:26:10
mathematical landscape
(
mathematical landscape(rev # 1)

history
)
by
David Corfield
at January 2, 2020 at 09:45:01
Home Page
(
Home Page(rev # 98)

history
)
by
David Corfield
at January 2, 2020 at 09:38:00
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 11)

history
)
by
David Corfield
at January 1, 2020 at 09:14:38
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 10)

history
)
by
David Corfield
at January 1, 2020 at 08:43:51
quantum physics
(
quantum physics(rev # 4)

history
)
by
David Corfield
at December 27, 2019 at 03:42:16
diagnosis
(
diagnosis(rev # 15)

history
)
by
David Corfield
at December 19, 2019 at 10:42:40
Between logic and physics
(
Between logic and physics(rev # 3)

history
)
by
David Corfield
at December 19, 2019 at 09:50:39
quantum physics
(
quantum physics(rev # 3)

history
)
by
David Corfield
at December 16, 2019 at 11:13:00
Friedman's Dynamics of Reason
(
Friedman's Dynamics of Reason(rev # 26)

history
)
by
David Corfield
at December 16, 2019 at 04:54:01
quantum physics
(
quantum physics(rev # 2)

history
)
by
David Corfield
at December 14, 2019 at 11:58:36
Home Page
(
Home Page(rev # 97)

history
)
by
David Corfield
at December 14, 2019 at 11:55:33
Event types
(
Event types(rev # 12)

history
)
by
David Corfield
at December 14, 2019 at 09:59:28
Do Rinferentialism
(
Do Rinferentialism(rev # 2)

history
)
by
David Corfield
at December 11, 2019 at 09:54:15
Friedman's Dynamics of Reason
(
Friedman's Dynamics of Reason(rev # 25)

history
)
by
David Corfield
at December 11, 2019 at 09:42:07
Friedman's Dynamics of Reason
(
Friedman's Dynamics of Reason(rev # 24)

history
)
by
David Corfield
at December 11, 2019 at 04:22:41
Vienna
(
Vienna(rev # 20)

history
)
by
David Corfield
at December 11, 2019 at 03:52:36
« Previous
1
2
3
4
5
6
7
8
9
10
Next »