Retourner au contenu associé (lien : Des mathématiciens amateurs établissent une preuve du cinquième castor affairé)
Posté par Serge Julien le 03 juillet 2024 à 11:04. En réponse au lien Des mathématiciens amateurs établissent une preuve du cinquième castor affairé. Évalué à 5.
Je viens de passer une demi-journée à apprendre plein de trucs inutiles sur les machines de Turing, le langage Coq et la cuisine hongroise (ben oui, quand on passe de lien en lien...). Merci !
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Une demi-journée...
Posté par Serge Julien . En réponse au lien Des mathématiciens amateurs établissent une preuve du cinquième castor affairé. Évalué à 5.
Je viens de passer une demi-journée à apprendre plein de trucs inutiles sur les machines de Turing, le langage Coq et la cuisine hongroise (ben oui, quand on passe de lien en lien...). Merci !