Term browse - Philosophical Insights into Logic and Mathematics Intl. Symposium

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

MWC-MW0001821 · Unidad documental simple

Parte de 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

MWC-MW0001823 · Unidad documental simple

Parte de 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

MWC-MW0001823 · Unidad documental simple

Parte de Michael Wright Collection

02/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Brendan Larvor: The emergence of algebraic proof in C17th / Hartry Field: Saving the truth schema from paradox

MWC-MW0001811 · Unidad documental simple

Parte de 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

MWC-MW0001816 · Unidad documental simple

Parte de 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

MWC-MW0001817 · Unidad documental simple

Parte de Michael Wright Collection

02/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: MW visit Musée de Lorraine / bar conversations: FW Lawvere / lunch conversations: S Awodey

MWC-MW0001814 · Unidad documental simple

Parte de 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

MWC-MW0001818 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0001819 · Unidad documental simple

Parte de 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

MWC-MW0001820 · Unidad documental simple

Parte de Michael Wright Collection

Philosophical Insights into Logic and Mathematics Intl. Symposium

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Philosophical Insights into Logic and Mathematics Intl. Symposium

Términos equivalentes

Philosophical Insights into Logic and Mathematics Intl. Symposium

Términos asociados

Philosophical Insights into Logic and Mathematics Intl. Symposium

16 Descripción archivística resultados para Philosophical Insights into Logic and Mathematics Intl. Symposium

Navegar Materias:

Restringir resultados por:

Philosophical Insights into Logic and Mathematics Intl. Symposium

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Philosophical Insights into Logic and Mathematics Intl. Symposium

Términos equivalentes

Philosophical Insights into Logic and Mathematics Intl. Symposium

Términos asociados

Philosophical Insights into Logic and Mathematics Intl. Symposium

16 Descripción archivística resultados para Philosophical Insights into Logic and Mathematics Intl. Symposium