Mark van Atten

Discipline

Philosophie (53) Histoire, Philosophie et Sociologie des sciences (39) Education (6) Sociologie (3) Sciences de l'information et de la communication (2)

Discipline

Histoire, Philosophie et Sociologie des sciences (7) Philosophie (5) Linguistique (4)

Type de document

Livres et chapitres d'ouvrages (41) Colloques et conférences (27) Articles (25) Prépublication (12) Autres (6) Mémoires, Thèses et HDR (2) Textes imprimés (2)

Type de document

Textes imprimés (6) Autres (6) Billets de blog (6) Prépublication (2) Colloques et conférences (2) Livres et chapitres d'ouvrages (1)

Co-auteur

Auteur

Date

Date

Source

Source

Mot-clé

Philosophy (92) philosophie (89) Philosophy (89) Science (87) sociologie (84) Sociology (84) Mathematics (60) Mathematics (58) Science--Philosophy (22) Logic (22) logique (22) Phenomenology (19) Transcription (15) Library (13) puits (12) Science (12) Transcription (11) temps (durée) (10) Time (10) Series (10) Scholars (10) bibliothèque (9) Quotations, maxims, etc (9) Quotations, maxims, etc (9) Maxims (9) January (9) Ciencias (9) Sciences (9) analyse (8) Shorthand--Gabelsberger (8)

Mot-clé

Bâtiment universitaire (12) Publications (8) Philosophy (7) Paris (6) History (6) Congresses (6) Congresses (6) Management (6) Publications (6) Actes de congrès (6) Gestion (6) Congrès et conférences (6) Paris (6) Lille (6) Data processing (5) Language and logic (5) Lenguaje y lógica (5) Sistemas de información (5) Proceso de datos (5) Informática (5) Historia (5) Philosophie (5) Informatique (5) Histoire (5) Langage et logique (5) Histoire (5) Informatique (5) histoire (5) papier (4) Paper (4)

Documents écrit par Mark van Atten (113) | parle de Mark van Atten (17)

Intuition, Iteration, Induction
Mark van Atten (10 nov. 2023)
Intuition, Iteration, Induction
Mark van Atten (10 nov. 2023)
Natural constructive proofs of A via A -> B, proof paradoxes, and impredicativity
Mark van Atten (30 juil. 2023)
Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity
Mark van Atten (2023)
Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity
Mark van Atten (2023)
Dummett's objection to the ontological route to intuitionistic logic: a rejoinder
Mark van Atten (2022)
A note on Husserl’s definite multiplicities and Gödel’s Incompleteness Theorems
Mark van Atten (2022)
The development of intuitionistic logic
Mark van Atten (2022)
Two-Track Depictions of Leibniz’s Fictions
Mikhail Katz et al. (2022)
A note on Husserl’s definite multiplicities and Gödel’s Incompleteness Theorems
Mark van Atten (2022)
Dummett's objection to the ontological route to intuitionistic logic: a rejoinder
Mark van Atten (2022)
The development of intuitionistic logic
Mark van Atten (2022)
Two-Track Depictions of Leibniz’s Fictions
Mikhail Katz et al. (2022)
Kurt Gödel Philosopher-Scientist
Éric Audureau et al. (15 oct. 2021)
Monads and Sets. On Gödel, Leibniz, and the Reflection Principle
van Atten Mark (15 oct. 2021)
Gödel’s Dialectica Interpretation and Leibniz
van Atten Mark (15 oct. 2021)
Gödel's intuitionistic paradoxes
Mark van Atten (3 mai 2021)
Kurt Gödel Maximen und Philosophische Bemerkungen, Vol XII
Gabriella Crocco et al. (16 févr. 2021)
Kurt Gödel Maximen und Philosophische Bemerkungen, Vol XII
Gabriella Crocco et al. (16 févr. 2021)
Révisionnisme mathématique : l’enjeu constructif
Mark van Atten et al. (2021)
Révisionnisme mathématique : l’enjeu constructif
Mark van Atten et al. (2021)
Kurt Gödel Maxims and Philosophical Remarks Volume XI of the Max Phil Notebooks
Gabriella Crocco et al. (15 oct. 2020)
Kurt Gödel Maxims and Philosophical Remarks Volume XI of the Max Phil Notebooks
Gabriella Crocco et al. (15 oct. 2020)
Kurt Gödel Maxims and Philosophical Remarks Volume XI of the Max Phil Notebooks
Gabriella Crocco et al. (15 oct. 2020)
Kurt Gödel Maxims and Philosophical Remarks Volume XI of the Max Phil Notebooks
Gabriella Crocco et al. (15 oct. 2020)

next
A Dialogical Account of the Intersubjectivity of Intuitionism
Clément Lion (16 oct. 2019)
Immanent Reasoning or Equality in Action A Dialogical Study
Shahid Rahman et al. (10 févr. 2017)
Immanent Reasoning or Equality in Action A Dialogical Study
Shahid Rahman et al. (10 févr. 2017)
Séminaire « Interactions entre informatique, logique et langage »
Florence THILL (9 juin 2015)
Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Florence THILL (28 avr. 2015)
Réseaux informatiques et logique dialogique
Baptiste Mélès (9 mars 2015)
Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Florence THILL (21 févr. 2015)
Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Florence THILL (6 févr. 2015)
Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »
Florence THILL (5 janv. 2015)
Séminaire « Les usages de la phénoménologie (I) : temps vécu et temps cosmique »
Florence THILL (21 mars 2013)
Gödel, constructivity, impredicativity and feasibility
Jean Fichot (5 juin 2007)
One Hundred Years of Intuitionism (1907-2007)
Équipe de recherche Fabula
One Hundred Years of Intuitionism (1907-2007)
Équipe de recherche Fabula
One Hundred Years of Intuitionism (1907-2007)
Équipe de recherche Fabula
One Hundred Years of Intuitionism (1907-2007)
Équipe de recherche Fabula

next