Recherche - Ideals of Proof

169 résultats

	Pour les 169 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 3 4 5 6 Page suivante	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Analysis and Freedom Michael Detlefsen The inaugural meeting of the Society for the History of Analytic Philosophy. Chicago (conjoint with the annual meeting of the Central Division of the APA), Feb 2010, Chicago, United States Communication dans un congrès hal-00588540v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Freedom & Creativity in Mathematics Michael Detlefsen The Imaginary, the Ideal and the Infinite in Mathematics, a project of the TransCoop Programme of the Alexander von Humboldt Stiftung, Jun 2009, France Communication dans un congrès hal-00588548v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formalism & Formalization Michael Detlefsen panel discussion, Dept of Philosophy, U of Bielefeld, Jan 2009, Germany Communication dans un congrès hal-00588561v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Background & Basic Distinctions Michael Detlefsen In Search of Formalism. A series of four lectures at the Ecole normale supérieure, Oct 2008, France Communication dans un congrès hal-00588563v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Alla ricerca delle fallacie nei discorsi pubblici Paola Cantu Guanxinet, Valdagno (PD), Apr 2010, Italy Communication dans un congrès hal-00588393v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Le fallacie dell'argomentazione Paola Cantu Noesis, Apr 2010, Treviglio, Italy Communication dans un congrès hal-00588395v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		La conception épistémologique de Hermann Grassmann Paola Cantu Séminaire de Philosophie des Mathématiques, Sep 2009, Marseille, France Communication dans un congrès hal-00588396v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Theory-relative notion of Ideality Paola Cantu IP Fellow Seminar, Apr 2009, Nancy, France Communication dans un congrès hal-00588403v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Ideal magnitudes and numbers: a matter of degree? Paola Cantu IP Fellow Seminar, Jan 2009, Paris, France Communication dans un congrès hal-00588404v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Exact constructions with inexact diagrams John Mumma Notre Dame Logic Seminar, Notre Dame University, Feb 2010, United States Communication dans un congrès hal-00588469v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Categories without structures Andrei Rodin Philosophy of Mathematics Seminar, Bristol University, Mar 2009, United Kingdom Communication dans un congrès hal-00588512v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Changes in Bolzano's definition of mathematics Paola Cantu 9th National Conference of the Italian Society for Analytic Philosophy, University of Padua, Sep 2010, Padoa, Italy Communication dans un congrès hal-00588248v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Henstock-Kurzweil Integration: Descriptive Set Theory & Model Theory Sean Walsh Madison, Feb 2009, United States Communication dans un congrès hal-00588514v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Logicism, Interpretability & Knowledge of Arithmetic Sean Walsh FregeFest 2010, Department of Logic and Philosophy of Science, University of California, Irvine, Feb 2010, United States Communication dans un congrès hal-00588520v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Ideal proofs and logical constructivity : from intuitionistic to classical logic Mattia Petrolo IP Fellows Seminar, Jan 2009, Paris, France Communication dans un congrès hal-00588472v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Philosophie des mathématiques Ivahn Smadja Vrin, 2011 Ouvrages hal-00587908v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Contrasting metric and projective proofs of Desargues' theorem Andrew Arana Workshop on Contrasting Proofs, Jun 2010, Paris, France Communication dans un congrès hal-00588204v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The complexity of pure and impure proof Andrew Arana Philosophy of Mathematics Colloquium, IHPST, Apr 2010, Paris, France Communication dans un congrès hal-00588199v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Classical logic under focus : ideality, proofs and computation Mattia Petrolo IP Fellows Seminar, Apr 2009, Paris, France Communication dans un congrès hal-00588474v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		E falso, les arguments de Kepler Jean-Jacques Szczeciniarz Paris 7, Dec 2010, Paris, France Communication dans un congrès hal-00588593v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Freedom in Mathematics Michael Detlefsen Montreal Inter-University Workshop on History & Philosophy of Mathematics, McGill University, Oct 2010, Canada Communication dans un congrès hal-00588529v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Rigor, Logic and Intuition Michael Detlefsen Logic and Knowledge, Conference sponsored by the Department of Phhilosophical and Epistemological Studies, University of Rome La Sapienza, Villa Mirafiori, Rome, Jun 2010, Italy Communication dans un congrès hal-00588536v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Background & Basics Michael Detlefsen Gödel's Theorems & Their Consequences: A series of four lectures at the Ecole normale supérieure, Paris, Oct 2009, Paris, France Communication dans un congrès hal-00588542v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Ideal of Creativity in Mathematics Michael Detlefsen Congres du Société Française d'Histoire des Sciences et des Techniques, Sep 2008, Paris, France Communication dans un congrès hal-00588570v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Ideals of Proof: An Overview Michael Detlefsen MSH (Maison des Sciences de l'Homme), Lorraine, Dec 2007, Nancy, France Communication dans un congrès hal-00588579v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Logic and Pragmatism Claudia Arrighi , Paola Cantu , Mauro de Zan , Patrick Suppes CSLI Publications, pp.350, 2009 Ouvrages hal-00587735v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Renewing foundations Andrei Rodin Philosophy, Mathematics, Linguistics: Aspects of Interaction, Nov 2009, Russia. pp.171-176 Communication dans un congrès hal-00587807v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Теория категорий и поиски новых математических оснований физики Andrei Rodin Voprosy philosophii, 2010, pp.67-82 Article dans une revue hal-00587811v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Algorithms and arguments Paola Cantu 7th Conference on Argumentation of the International Society for the Study of Argumentation, Jun 2010, Amsterdam, Netherlands Communication dans un congrès hal-00588382v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		La définition symbolique de l'égalité logique dans le cadre de l'école de Peano Paola Cantu Séminaire d'Epistemologie, IREM, May 2009, Paris, France Communication dans un congrès hal-00588397v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats

Analysis and Freedom

Freedom & Creativity in Mathematics

Formalism & Formalization

Background & Basic Distinctions

Alla ricerca delle fallacie nei discorsi pubblici

Le fallacie dell'argomentazione

La conception épistémologique de Hermann Grassmann

A Theory-relative notion of Ideality

Ideal magnitudes and numbers: a matter of degree?

Exact constructions with inexact diagrams

Categories without structures

Changes in Bolzano's definition of mathematics

Henstock-Kurzweil Integration: Descriptive Set Theory & Model Theory

Logicism, Interpretability & Knowledge of Arithmetic

Ideal proofs and logical constructivity : from intuitionistic to classical logic

Philosophie des mathématiques

Contrasting metric and projective proofs of Desargues' theorem

The complexity of pure and impure proof

Classical logic under focus : ideality, proofs and computation

E falso, les arguments de Kepler

Freedom in Mathematics

Rigor, Logic and Intuition

Background & Basics

The Ideal of Creativity in Mathematics

Ideals of Proof: An Overview

Logic and Pragmatism

Renewing foundations

Теория категорий и поиски новых математических оснований физики

Algorithms and arguments

La définition symbolique de l'égalité logique dans le cadre de l'école de Peano