Juliet Floyd

Learn More
K urt Gödel (1906–1978), with his work on the constructible universe L, established the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he secured the cumulative hierarchy view of the universe of sets and ensured the ascendancy of first-order logic as the framework for set theory. Gödel thereby transformed set theory(More)
Peter Aczel: Predicate logic over a type setup There are a variety of closely related notions aimed at capturing the abstract structure of type dependency in the syntax and semantics of dependent type theories. Examples of such notions are category with attributes, category with families, category with display maps, contextual category, comprehension(More)
No account of Hao Wang’s philosophy can be complete without discussion of his serious engagement with Wittgenstein. This began in the period 1953-1958, immediately following the publication of Philosophical Investigations [1953] and Remarks on the Foundations of Mathematics [1956], and culminated in a second phase of engagement from 1981 to 1995. It closed(More)
1Thanks are due to Per Martin-Löf and the organizers of the Swedish Collegium for Advanced Studies (SCAS) conference in his honor in Uppsala, May 2009. The audience, especially the editors of the present volume, created a stimulating occasion without which this essay would not have been written. Helpful remarks were given to me there by Göran Sundholm,(More)
Neuropsychological findings used to motivate the “two visual systems” hypothesis have been taken to endanger a pair of widely accepted claims about spatial representation in visual experience. The first is the claim that visual experience represents 3-D space around the perceiver using an egocentric frame of reference. The second is the claim that there is(More)
  • 1