Term browse - Philosophical Insights into Logic and Mathematics Intl. Symposium - Archive Trust for Research in Mathematical Sciences & Philosophy

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: pre- dinner conversations: FW Lawvere, S Awodey, J-P Marquis & M Wright

MW0001822 · Item

Part of Michael Wright Collection

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Philippe Séguin: Ars combinatoria universalis- search for absolute foundation for math. by combinatorial school of CF Hindenburg (1741-1808) / conversations: S Awodey, G Hellman & P Ehrlich re definition of finite

MW0001820 · Item

Part of Michael Wright Collection

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Philippe Séguin: Ars combinatoria universalis (fragments of talk) / discussion: S Awodey, P Ehrlich & G Hellman / conversations: FW Lawvere, S Awodey re. A topos

MW0001823 · Item

Part of Michael Wright Collection

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: discussion: S Awodey, P Ehrlich & G Hellman / conversations: FW Lawvere, S Awodey re. A topos

MW0001823 · Item

Part of Michael Wright Collection

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: dinner conversations: FW Lawvere & S Awodey / remarks

MW0001821 · Item

Part of Michael Wright Collection

03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Steve Awodey: Continuity & logical completeness in topos theoretic perspective / Karine Chemla: A conception of the foundations of maths in ancient Chinese commentators C1st - C13th / lunch conversations: FW Lawvere, S Awodey, E Landry & others

MW0001818 · Item

Part of Michael Wright Collection

03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Geoffrey Hellman: Does category theory provide a framework for mathematical structuralism? / Joseph Vidal-Rosset: Naturalizing mathematical existence / breaktime coversations G Hellman & S Awodey re. mereology & Godel

MW0001817 · Item

Part of Michael Wright Collection

03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: dinner conversations: FW Lawvere, S Awodey

MW0001819 · Item

Part of Michael Wright Collection

03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Christian Tapp: Philosophical & theological background of Cantor's set theory

MW0001816 · Item

Part of Michael Wright Collection

03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: cafe conversations: FW Lawvere & others

MW0001819 · Item

Part of Michael Wright Collection

Philosophical Insights into Logic and Mathematics Intl. Symposium

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Philosophical Insights into Logic and Mathematics Intl. Symposium

Equivalent terms

Philosophical Insights into Logic and Mathematics Intl. Symposium

Associated terms

Philosophical Insights into Logic and Mathematics Intl. Symposium

16 Archival description results for Philosophical Insights into Logic and Mathematics Intl. Symposium

Browse Subjects:

Narrow your results by:

Philosophical Insights into Logic and Mathematics Intl. Symposium

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Philosophical Insights into Logic and Mathematics Intl. Symposium

Equivalent terms

Philosophical Insights into Logic and Mathematics Intl. Symposium

Associated terms

Philosophical Insights into Logic and Mathematics Intl. Symposium

16 Archival description results for Philosophical Insights into Logic and Mathematics Intl. Symposium