Ça me fait mal de le défendre, mais l'informatique est très jeune sur le plan théorique. Il y a eu énormément d'avancées techniques, mais sur toute la partie algo/complexité/preuve de programmes on n'est certainement qu'au tout début de ce qu'il y a à découvrir/inventer.
[^] # Re: Eureka !
Posté par Yusei (Mastodon) . En réponse au journal Le réchauffement climatique est une vaste blague. Un complot.... Évalué à 3.