Preuves et réfutations : :: SCD d'Orléans

$Preuves et réfutations : essai sur la logique de la découverte mathématique$

Preuves et réfutations : essai sur la logique de la découverte mathématique

Salvato in:

Dettagli Bibliografici
Autore principale:	Lakatos, Imre, 1922-1974
Altri autori:	Worall, John (Redattore), Zahar, Élie, 1937- (Redattore), Balacheff, Nicolas, 19..-...., auteur en didactique des mathématiques (Traduttore), Laborde, Jean-Marie, 19..-...., auteur en mathématiques (Traduttore)
Natura:	Livre papier
Lingua:	Français
Pubblicazione:	Paris : Hermann, éditeur des sciences et des arts DL 1984.
Serie:	Actualités scientifiques et industrielles 1412
Soggetti:	Théorie de la démonstration Mathématiques > Philosophie Logique symbolique et mathématique
Nota:	Trad. de : "Proofs and refutations" Autre tirage : 2004
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Proofs and refutations : the logic of mathematical discovery
di: Lakatos, Imre, 1922-1974
Pubblicazione: (1976)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
di: Loveland, Donald W., et al.
Pubblicazione: (2014)

Ecrits logiques
di: Herbrand, Jacques, 1908-1931, et al.
Pubblicazione: (1968)

Proof Theory : An Introduction
di: Pohlers, Wolfram

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
di: Aigner, Martin, 1942-2023, et al.
Pubblicazione: (2006)

Gentzen calculi for modal propositional logic
di: Poggiolesi, Francesca, 1980-

Metamathematical investigation of intuitionistic arithmetic and analysis
di: Troelstra, Anne Sjerp

Raisonnements divins
di: Aigner, Martin, 1942-2023, et al.
Pubblicazione: (2002)

Les démonstrations : l'art de convaincre
di: Cohen, Gilles, 1951-2023, mathématicien
Pubblicazione: (2015)

Applied proof theory : proof interpretations and their use in mathematics
di: Kohlenbach, Ulrich, 1962-
Pubblicazione: (2008)

Applied proof theory : proof interpretations and their use in mathematics
di: Kohlenbach, Ulrich, 1962-

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
di: Buchholz, Wilfried, 1948-, et al.

Preuves et réfutations : essai sur la logique de la découverte mathématique
di: Lakatos, Imre, 1922-1974
Pubblicazione: (2014)

Preuves et réfutations : Essai sur la logique de la découverte mathématique
di: Lakatos, Imre, 1922-1974
Pubblicazione: (2024)

Logique. Méthodes pour l'informatique fondamentale
di: Gochet, Paul, 1932-2011, logicien, et al.
Pubblicazione: (1990)

The logic of information structures
di: Wansing, Heinrich, 1963-

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Automated deduction in equational logic and cubic curves
di: McCune, William Walker, 1953-, et al.

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

La démonstration mathématique dans l'histoire : actes du 7ème colloque inter-IREM Épistémologie et histoire des mathématiques, Besançon, 12 et 13 mai 1989
Pubblicazione: (1990)

The computer modelling of mathematical reasoning
di: Bundy, Alan R., 1947-
Pubblicazione: (1983)

Theorems and counterexamples in mathematics
di: Gelbaum, Bernard R., 1922-2005, et al.
Pubblicazione: (1990)

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
di: Kahle, Reinhard, 1967-

7th international conference on automated deduction : Napa, California, USA May 14 16, 1984 : proceedings

Using sophisticated models in resolution theorem proving
di: Sandford, David M., 19..-

Term indexing
di: Graf, Peter, 1966-

La logique, pas à pas
di: Duparc, Jacques, 1962-
Pubblicazione: (2015)

Logique mathématique
di: Kleene, Stephen Cole, 1909-1994
Pubblicazione: (1971)

Theory reasoning in connection calculi
di: Baumgartner, Peter, 1953-

9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings

6th Conference on Automated Deduction, New York, USA, June 7 9, 1982

5th Conference on automated deduction : Les Arcs, France, July 8 11, 1980

A resolution principle for a logic with restricted quantifiers
di: Bürckert, Hans-Jürgen

CQFD : beauté de la démonstration mathématique
di: Polster, Burkard, 1965-
Pubblicazione: (2016)

Preuve et démonstration en mathématiques au collège

La logique interne des théories physiques
di: Gauthier, Yvon, 1941-
Pubblicazione: (1992)

Symposium on automatic demonstration : held at Versailles-France, December 1968

Logique et preuves mathématiques : l'essentiel pour l'étudiant
di: Mercuriali, Pierre, 1991-
Pubblicazione: (2024)

The automation of reasoning with incomplete information : from semantic foundations to efficient computation
di: Schaub, Torsten

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales