logo librairie

CONNEXION



Mot de passe oublié?
Inscription
image mon panier
image TangenteMag

image Tangente Education
image Jouer Bridge
image logo Club Tangente

Livres > Culture Mathématique > Histoire, biographies


Le Pommier
2011
232 pages
ISBN:9782746505612

8,00 €

Les métamorphoses du calcul

Gilles Dowek

Présentation

Plusieurs avanc�es math�matiques importantes remettent en cause, depuis les ann�es la fin du XXe si�cle, la longue pr��minence du raisonnement sur le calcul. Cette v�ritable r�volution nous am�ne � repenser le dialogue des math�matiques avec les sciences de la nature. Elle �claire d'une lumi�re nouvelle des concepts philosophiques, comme ceux de jugement analytique et synth�tique. Elle nous am�ne aussi � nous interroger sur les liens entre les math�matiques et l'informatique, et sur la singularit� des math�matiques qui est longtemps rest�e l'unique science � ne pas utiliser d'instruments.
Enfin, et c'est certainement le plus prometteur, elle nous laisse entrevoir de nouvelles mani�res de r�soudre des probl�mes math�matiques, qui s'affranchissent de certaines limites arbitraires que la technologie du pass� a impos� � la taille des d�monstrations : les math�matiques sont peut-�tre en train de partir � la conqu�te d'espaces jusqu'alors inaccessibles.


Note de lecture Tangente

Remettre le calcul au coeoeur des maths


 À l’origine était le calcul : dans toutes les cultures, les mathématiques lui réservent, à leurs débuts, une place prépondérante (utilisation de méthodes quasi algorithmiques en Chine ou en Mésopotamie pour résoudre des problèmes pratiques, algorithme d’Euclide en Grèce…). L’apport fondamental des Grecs est d’introduire des raisonnements sur des quantités infinies (comme l’ensemble des nombres premiers). Dès lors, le raisonnement et la construction d’une démonstration prendront peu à peu l’ascendant sur le calcul, évolution qui culminera au début du XXe siècle avec l’introduction de méthodes axiomatiques au moment d’une vaste réflexion sur les fondements mêmes des mathématiques. On a effectivement imaginé pouvoir construire toute démonstration sur des règles de déduction, à partir d’axiomes (cf. le programme de Hilbert).

Pourtant, depuis les années 1970, nous vivons une véritable révolution, qui vise à rendre au calcul sa place au sein des mathématiques. Les travaux de Church et le développement de l’informatique n’y sont pas étrangers. Il semblerait désormais qu’une démonstration mathématique ne se construise pas seulement à partir d’axiomes et de règles de déduction, mais également à partir de règles de calcul, dans le cadre le plus vaste qui soit (à savoir la logique des prédicats).
Cette réédition est bienvenue car elle permet d’étayer plus solidement, à l’aide de récents développements, la thèse de l’auteur, Gilles Dowek, qui est l’un des plus éminents spécialistes de ces questions.

Résultats de la recherche : logissimo

Editions POLE

Extra logique
Bernard Novelli
Jeux PC Logissimo
12,00 €
Cosmos logique
Bernard Novelli
Jeux PC Logissimo
22,00 €
Zoo logique
Bernard Novelli
Jeux PC Logissimo
22,00 €