Ah tiens, Gödel justement c'est plutôt pour moi un exemple qu'il est possible de trouver un langage dans les maths pour exprimer des démonstrations, un peu comme Turing aussi (plus proche de l'informatique).
Il y a notamment GEB les brins d'une guirlande éternelle qui apporte une vision unifiée des maths, de la musique, de la biologie, de la philosophie, de l'histoire des sciences, de la littérature (magicien d'Oz...) et de la science fiction. Bon c'est 800 pages, mais je l'ai lu 3 fois : en français, en anglais puis de nouveau en français (je ne lis pas l'allemand :/)
Concernant Wittgenstein je ne le connaissais pas, je verrai quand j'aurai lu quelques uns de ses écrits :-) vu ce que tu en dis, c'est sans doute un auteur qui va me plaire :D
Pour Kant : attention, ton addiction risque de te perdre dans des paradis perdus, c'est particulièrement abstrait et des cas particuliers, vrais mais difficilement généralisables àmha.
[^] # Re: Traduction faite
Posté par BAud (site web personnel) . En réponse au journal Comment devenir programmeur. Évalué à 3.
Ah tiens, Gödel justement c'est plutôt pour moi un exemple qu'il est possible de trouver un langage dans les maths pour exprimer des démonstrations, un peu comme Turing aussi (plus proche de l'informatique).
Il y a notamment GEB les brins d'une guirlande éternelle qui apporte une vision unifiée des maths, de la musique, de la biologie, de la philosophie, de l'histoire des sciences, de la littérature (magicien d'Oz...) et de la science fiction. Bon c'est 800 pages, mais je l'ai lu 3 fois : en français, en anglais puis de nouveau en français (je ne lis pas l'allemand :/)
Concernant Wittgenstein je ne le connaissais pas, je verrai quand j'aurai lu quelques uns de ses écrits :-) vu ce que tu en dis, c'est sans doute un auteur qui va me plaire :D
Pour Kant : attention, ton addiction risque de te perdre dans des paradis perdus, c'est particulièrement abstrait et des cas particuliers, vrais mais difficilement généralisables àmha.