100 years of intuitionism 1907-2007

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

100 years of intuitionism 1907-2007

Términos equivalentes

100 years of intuitionism 1907-2007

Términos asociados

100 years of intuitionism 1907-2007

6 Descripción archivística resultados para 100 years of intuitionism 1907-2007

6 resultados directamente relacionados Excluir términos relacionados

07/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Per Martin-Lof: The Hilbert-Brouwer Controversy resolved?

MW0002534 · Unidad documental simple

Parte de Michael Wright Collection

08/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Mathiru Marion: Wittgenstein & Brouwer on meaning and proof / Jacques Dubucs: Truth & the experience of truth (part of)

MW0002516 · Unidad documental simple

Parte de Michael Wright Collection

07/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Mathiru Marion: Philippe Nabonnand & Gerhard Heinzmann: Poincare & Brouwer; conceptions of mathematical intuition compared / Marcel Guillaume: The contributions of several leading mathematicians to the foundations debate of the early 20th Century

MW0002518 · Unidad documental simple

Parte de Michael Wright Collection

10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Giovanni Sambin: 2 principles of dynamic constructivism; Brouwer's principle of continuity and choice sequences in formal topology / Mitsu Okada: Intuitionistic logic and linear logic

MW0002514 · Unidad documental simple

Parte de Michael Wright Collection

10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Jean Ficot: Godel's functional interpretation of intuitionistic logic; constructivity and calculability

MW0002515 · Unidad documental simple

Parte de Michael Wright Collection

08/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Richard Tieszen: The intersection of intuitionism and phenomenology / Bernd Buldt: Que nous dit le tempes dans les mathematiques; temportality in (intuitionistic) mathematics

MW0002517 · Unidad documental simple

Parte de Michael Wright Collection