The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice

Shahid Rahman; Radmila Jovanovic; Nicolas Clerbout

The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice

Shahid Rahman ¹ Radmila Jovanovic ^{2, 1} Nicolas Clerbout ^{1, 3}

1 STL - Savoirs, Textes, Langage (STL) - UMR 8163

2 University of Belgrade [Belgrade]

3 Universidad de Valparaiso [Chile]

Keywords : Philosophy of Logic Foundations of mathematics Logic inference philosophy

Type de document :

Article dans une revue

South American Journal of Logic , 2015, 〈http://www.sa-logic.org/sajl-v1-i1/07-Rahman-Clerbout-Jovanovic-SAJL.pdf〉

Domaine :

Sciences de l'Homme et Société / Philosophie

Sciences de l'Homme et Société

Sciences de l'Homme et Société / Histoire, Philosophie et Sociologie des sciences

Liste complète des métadonnées

https://halshs.archives-ouvertes.fr/halshs-01225285
Contributeur : Shahid Rahman <>
Soumis le : vendredi 6 novembre 2015 - 00:47:06
Dernière modification le : mardi 3 juillet 2018 - 11:20:59

The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice

Identifiants

Collections

Citation

Exporter

Métriques

164

Contact

The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice

Identifiants

Collections

Citation

Exporter

Partager

Métriques

164

Contact