calculable
71Castor affairé — Pour les articles homonymes, voir castor. En mathématiques, et plus précisément en théorie de la calculabilité, le castor affairé, dont le nom a été proposé par le mathématicien hongrois Tibor Radó, est l un des premiers exemples de fonction non… …
72These de Church — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …
73Thèse Church-Turing — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …
74Thèse de Church-Turing — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …
75Thèse de church — La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur (plus… …
76incalculable — [ ɛ̃kalkylabl ] adj. • 1779; de 1. in et calculable 1 ♦ Impossible à calculer. Le nombre incalculable des étoiles. 2 ♦ Cour. Impossible ou difficile à apprécier. ⇒ considérable, illimité, incommensurable. « Petit, fatal événement qui eut d… …
77Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… …
78Alan Mathison Turing — Alan Turing Pour les articles homonymes, voir Turing (homonymie). Alan Turing …
79Alan Turing — Pour les articles homonymes, voir Turing (homonymie). Alan Turing Statue au mémorial Alan Turing de Manchester Naissance …
80Suite de Specker — Ernst Specker en 1982 Une suite de Specker est un contre exemple dans les mathématiques constructives à certains théorèmes établis dans l analyse classique. Il s agit d une suite de nombres rationnels qui est calculable, croissante, et majorée,… …