Discussion Département:Informatique théorique

Axiome du choix ?

« [C]ertains théoriciens sont d'accord pour affirmer que, par l'axiome du choix, l'informatique est un sous-ensemble des mathématiques. » Je ne sais pas si je dois dire que je ne suis pas d'accord ou que je ne vois pas ce que veut dire cette phrase. Je pense plutôt que je ne comprends pas ce que cette phrase veut dire. Quelqu'un peut-il m'éclairer? --Pierre de Lyon 6 novembre 2011 à 17:00 (UTC)

Voir Axiome du choix sur Wikipédia  . JackPotte ($♠) 6 novembre 2011 à 19:07 (UTC)