vince (./1527) :
Est-il envisageable d'avoir un machine électronique capable de traiter de l'information (le pendant d'un ordinateur en qq sorte) qui ne serait pas une machine de turing ?

Et qui soit plus forte qu'une machine de Turing?
=> http://en.wikipedia.org/wiki/Hypercomputation

Il est probable qu'une telle machine ne puisse pas physiquement exister, mais on n'en est pas complètement sûr. Ça dépend des lois physiques qu'on ne connaît pas encore. Pour l'instant tout est réductible à une machine de Turing, même les ordinateurs quantiques.


Par contre en maths on n'a aucun problème à théoriser des trucs plus forts. Ça s'appelle la calculabilité supérieure, c'est un domaine riche et très étudié.
( http://www.madore.org/~david/math/calculabilite.pdf pour une introduction - qui demande quand même des prérequis assez violents)

</up>