Calculable

"calculable" dans l'encyclopédie

• CHURCH ALONZO (1903-1995)

  • Écrit par Françoise ARMENGAUD
  • 3 380 mots

  traduit fidèlement dans le langage mathématique la notion intuitive de fonction calculable. Le statut intuitif de la calculabilité effective exclut toute justification complète de la thèse, mais l'identification que celle-ci opère est très plausible. Néanmoins, la thèse de Church fut discutée. Elliot Mendelsohn a résumé et critiqué les principales objections dans son article « On Some Recent Criticism of Church's Thesis », in Notre Dame Journal of Formal Logic, vol.

• INFORMATIQUE Principes

  • Écrit par Jacques HEBENSTREIT
  • 16 824 mots
  • 2 médias

  Turing a montré que toute fonction calculable était calculable par un automate de ce type, c'est-à-dire qu'étant donné une fonction calculable il était toujours possible de définir un ensemble de règles du type évoqué ci-dessus qui lui permette d'effectuer le calcul. Algorithmes et décidabilité Un algorithme est une suite finie de règles à appliquer dans un ordre déterminé à un nombre fini de données pour arriver, en un nombre fini d'étapes, à un certain résultat, et cela indépendamment des données ; par exemple, l'algorithme de l'addition permet de faire l'addition de deux nombres quelconques en partant des chiffres les plus à droite et en opérant de droite à gauche.

• FONDATIONNALISME ET ANTIFONDATIONNALISME, mathématique

  • Écrit par Jean-Paul DELAHAYE
  • 4 778 mots

  Sont mentionnées l'idée que les travaux sur les fondements conduisent à une clarification des concepts (celui de conséquence logique, celui de modèle, celui de fonction calculable, etc.), et l'idée que c'est l'étude des fondements qui permet l'interprétation et la réduction de certains principes délicats (par exemple le principe du bon ordre en théorie des ensembles).

• ESSAIS ET CONFÉRENCES, Martin Heidegger Fiche de lecture

  • Écrit par Francis WYBRANDS
  • 5 087 mots
  • 1 média

  Son essence à la fois « pro-vocante » et « arraisonnante » – mise en demeure de la nature « à livrer une énergie qui puisse comme telle être extraite et accumulée », et assignation à poser la nature comme « complexe calculable de forces » – n'est que la dernière figure d'une puissance de dévoilement inscrite aux origines impensées de la tradition occidentale.

• POUR UNE APPROCHE COGNITIVE DES CONVENTIONS ÉCONOMIQUES, André Orléan Fiche de lecture

  • Écrit par Annie SORIOT
  • 6 823 mots

  Incertitude et coordination mimétique : les conventions appliquées aux marchés financiers S'inscrivant dans la filiation de Franck Knight, André Orléan distingue le « risque » (qui permet un calcul de probabilités) de l'« incertitude » (non calculable). Les mutations qualitatives affectant les produits et les goûts ou les innovations technologiques font, par exemple, partie de ces événements irréductibles aux données antérieures.