Skip to Content.
Sympa Menu

athena - [Athena] Séminaire de logiques non classiques - jeudi 5 février

athena AT services.cnrs.fr

Subject: Histoire des techniques

List archive

[Athena] Séminaire de logiques non classiques - jeudi 5 février


Chronological Thread 
  • From: Virginie Bellot <Virginie.Bellot AT univ-paris1.fr>
  • To: equipe-ihpst AT services.cnrs.fr, athena AT services.cnrs.fr, emetis AT listes.univ-paris1.fr, philoso AT free.fr, educasup.philo AT ml.free.fr, theuth AT listes.univ-rennes1.fr
  • Subject: [Athena] Séminaire de logiques non classiques - jeudi 5 février
  • Date: Mon, 02 Feb 2015 12:02:19 +0100

Bonjour,

Nous avons le plaisir de vous annoncer la prochaine séance du séminaire "Logiques Non Classiques", qui aura lieu le jeudi 5 février à 16h, dans la salle des conférence à l'IHPST (13 rue du Four, 75006). Nous accueillerions Marianna Antonutti (IHPST), qui présentera une communication intitulée "Human Effective Computability". Veuillez trouver le résumé de cette intervention ci-dessous, ainsi que sur le site de l'IHPST:

______________________________________________

Marianna Antonutti


Human Effective Computability


In a 1972 paper, Kreisel draws a distinction between 'machine-effective' or 'algorithmic' computability, and 'human-effective' computability. While he agrees that Turing gave a rigorous analysis of the former, he does not explain in much detail what is meant by the notion of 'human effective computability'. In this paper (joint work with Leon Horsten), we apply Kreisel's notion of 'informal rigour' to the notion of human effective computability. We follow Kreisel in relating this notion to a notion of 'absolute' or 'informal provability', and we elaborate on the idealisations involved in the notion of informal provability, in terms of which the notion of human effective computability is analyzed. However, we disagree with Kreisel about the precise way in which this is best done. The two resulting ways of analysing human effective computability give rise to two variants of the Church-Turing Thesis, one of which, we will argue, is more plausible than the other. Ultimately, the hope is that a rigorous analysis of the notion of human effective computability might establish or refute the Church-Turing Thesis for human effective computability, thus giving us information about the scope and limitations of mathematical reasoning.

http://ihpst.cnrs.fr/activites/seminaires/seminaire-de-logiques-non-classiques-marianna-antonutti

______________________________________________

Cordialement,

Ekaterina Kubyshkina

Université Paris 1 Panthéon - Sorbonne,

IHPST - Institut d'histoire et de philosophie des sciences et des techniques


--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.



  • [Athena] Séminaire de logiques non classiques - jeudi 5 février, Virginie Bellot, 02/02/2015

Archive powered by MHonArc 2.6.18.

Top of Page