Je veux des anges sur mon capot !!!

[Paetryk]

Et les mathématiciens ont même demontré que dans toute théorie, y'a des choses vraies qui sont indémontrables.

Bah, puisqu'on en est là... autant continuer.

@Uthorion : il me semblait que la théorie du chaos était la théorie qui servait à travailler sur des système chaotique. Tiens, au passage la première introduction de la notion de chaos est due à Poincaré (fin XIXe je crois, mais sur le coup je suis pas sûr), pour le fameux problèmes des 3 corps.

Pour la citation extraite de chez Pierrot, c'est ... hmm... pas tout à fait vrai . La preuve de Gödel, dit que dans toutes théorie finitiste contenant l'arithmétique (en fait, on a surtout besoin que la théorie puisse exprimer un certain nombres de propriétés sur elle même, ce qui est le cas de l'arithmétique) il y a des propositions dont ni elle ni la négation ne sont prouvable (on peut supposer qu'il y en a une des 2 vrai, sauf que formellement, ça ne veut rien dire). Finitiste est un mot introduit par Hilbert, pour définir un ensemble de théorie de la preuve formelle qu'il considérait comme raisonable (qui est en fait toujours considérer comme plus raisonnables). Il existe des théories très puissantes et néanmoins complète (ie pour toute formule, soit elle est prouvable, soit sa négation est prouvable) cependant, elles utilisent des preuves potentiellement infinie (ne m'en demande pas plus, je n'en connais pas).

Paetryk
Les mathématiques son nos amis, il faut les aimer aussi