logo librairie

CONNEXION



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

image Tangente Education
image Jouer Bridge
image logo Club Tangente

Informatique > Informatique > Informatique et TICE


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.

Informatique et TICE

Editions POLE

Bib 52 - Mathématiques & Informati...
Collectif Tangente
Bibliothèque Tangente
19,80 €
Bib 37 - Les algorithmes
Collectif Tangente
Bibliothèque Tangente
19,80 €

Autres éditeurs

25 énigmes ludiques pour s’initi...
Pascal Lafourcade et Malika More
14,90 €
Je découvre le code dans l'esprit ...
Kimberly Smith, Auraline Mary et Amélia Matar
24,90 €
Homo informatix
Luc de Brabandère
13,00 €
L'Hyperpuissance de l'informatique:...
Gérard Berry
35,00 €
J'apprends à coder avec Scratch : ...
Natalie Rusk
22,90 €
Cryptographie - Libertés individue...
Pierre VIGOUREUX
9,00 €
L'univers secret de la cryptographi...
Gilles Dubertret
19,90 €
Codes : La grande aventure (poche)
P BERLOQUIN
9,00 €
Comprendre les codes secrets
P VIGOUREUX
24,90 €
Alain turing l'homme qui inventa l'...
D LEAVITT
26,00 €
Ces préjugés qui nous encombrent
GILLES DOWEK
10,00 €
Comprendre l'intelligence artificie...
Sabouret Nicolas,De Assis Lizete
14,00 €