Les MATHS, cette SOUS-SCIENCE :rire:

2019-01-12 23:48:58

Le 12 janvier 2019 à 23:44:36 foumasse a écrit :
L'auteur désolé mais c'est impossible de faire une abstraction ex nihilo. Il y a besoin d'éléments concrets. On peut pas faire autrement.

Pourtant c'est bien faisable en programmation orientée objet :) Pourquoi ce serait pas faisable avec la science si pure, rigoureuse et si exacte des mathématiques ? :)

Outchipp
2019-01-12 23:51:05

Y a pas plus vrai que les mathématiques. Une démo faite sera tjs vraie

2019-01-12 23:51:12

Le 12 janvier 2019 à 23:48:58 Outchipp a écrit :
Tes juste imperméable a l'univers des maths. Y en a qui ont pas le cerveau pour et puis y en a d'autres qui ont pas le cerveau pour non plus ET qui comprenne même pas que les maths y a rien de plus concret rien que dans la mesure que ça permet d'expliquer les phénomènes physiques

Mon cerveau de surdoué n'est sûrement pas à même de forniquer avec cette science de gueux qu'est les mathématiques :)

DonDoritos_
2019-01-12 23:52:16

Le 12 janvier 2019 à 23:51:12 Morpheeeus a écrit :

Le 12 janvier 2019 à 23:48:58 Outchipp a écrit :
Tes juste imperméable a l'univers des maths. Y en a qui ont pas le cerveau pour et puis y en a d'autres qui ont pas le cerveau pour non plus ET qui comprenne même pas que les maths y a rien de plus concret rien que dans la mesure que ça permet d'expliquer les phénomènes physiques

Mon cerveau de surdoué n'est sûrement pas à même de forniquer avec cette science de gueux qu'est les mathématiques :)

science de gueux :rire: :rire: :rire:

Foumasse
2019-01-12 23:54:54

Le 12 janvier 2019 à 23:48:58 Morpheeeus a écrit :

Le 12 janvier 2019 à 23:44:36 foumasse a écrit :
L'auteur désolé mais c'est impossible de faire une abstraction ex nihilo. Il y a besoin d'éléments concrets. On peut pas faire autrement.

Pourtant c'est bien faisable en programmation orientée objet :) Pourquoi ce serait pas faisable avec la science si pure, rigoureuse et si exacte des mathématiques ? :)

Ca fait longtemps que j'ai pas touché à de la prog mais tu ne crée pas d'objets à partir de rien, tu utilises juste les possibilités offertes par ton langage de programmation.

Foumasse
2019-01-12 23:55:48

Et les mathématiques ne sont pas une science à proprement parler, c'est un ensemble de raisonnements purement abstraits.

2019-01-12 23:56:49

Le 12 janvier 2019 à 23:55:48 foumasse a écrit :
Et les mathématiques ne sont pas une science à proprement parler, c'est un ensemble de raisonnements purement abstraits.

Purement abstraits :rire:

Yeeeeeen
2019-01-12 23:58:32

Mais putain un axiome ne peut pas être faux parce que les maths partent des axiomes. On se sert de trucs qu’on a défini vrai pour construire les maths. Donc les maths sont vrais si les axiomes le sont. Tu comprends le singe ?

Pour créer les maths, faut des nombres donc les nombres existent.

Battosaii_lol
2019-01-13 00:01:27

Ce topic :rire:
L'auteur qui critique les axiomes :rire:
L'auteur qui a entendu parler de l'axiomatique de peano dans une vidéo d'epenser :rire:
L'auteur qui comprend pas le principe de récurrence :rire:

Foumasse
2019-01-13 00:04:32

Le 12 janvier 2019 à 23:56:49 Morpheeeus a écrit :

Le 12 janvier 2019 à 23:55:48 foumasse a écrit :
Et les mathématiques ne sont pas une science à proprement parler, c'est un ensemble de raisonnements purement abstraits.

Purement abstraits :rire:

Oui les maths sont purement abstraites. Les ensembles, les fonctions et même les nombres sont des concepts purement abstraits. Ils ne sont pas représentables dans le monde réel.

Foumasse
2019-01-13 00:05:41

Et pas la peine d'être condescendant mec, t'es sur Internet, ça impressionne personne, tout le monde peut faire le mec derrière un écran. C'est plus ridicule qu'autre chose en plus d'empêcher d'avoir un débat non biaisé par ton égo.

2019-01-13 00:07:19

Le 13 janvier 2019 à 00:05:41 foumasse a écrit :
Et pas la peine d'être condescendant mec, t'es sur Internet, ça impressionne personne, tout le monde peut faire le mec derrière un écran. C'est plus ridicule qu'autre chose en plus d'empêcher d'avoir un débat non biaisé par ton égo.

this

Ville-Champs
2019-01-13 00:09:31

Surdoué mais ne comprend pas les maths. :rire:

Hamster1er
2019-01-13 00:49:30

Le 12 janvier 2019 à 23:48:58 Morpheeeus a écrit :

Le 12 janvier 2019 à 23:44:36 foumasse a écrit :
L'auteur désolé mais c'est impossible de faire une abstraction ex nihilo. Il y a besoin d'éléments concrets. On peut pas faire autrement.

Pourtant c'est bien faisable en programmation orientée objet :) Pourquoi ce serait pas faisable avec la science si pure, rigoureuse et si exacte des mathématiques ? :)

c'est dimanche donc j'ai décidé de feeder le troll :

la POO c'est pas de l'abstraction, y'a rien de plus concret duc**
T'as une classe voiture qui hérite d'une classe véhicule, comportant une classe moteur, une classe roue et une classe châssis.
Paye ta grosse abstraction lol
(ou qu'un reel est une sous-classe de complexe, osef)

Tu coup t'as manqué une occasion de parler de prog fonctionnelle qui justement se base sur... les maths. Mais encore faut il comprendre les maths, apparemment suffit pas d'être surdoué pour ça..
(Erlang, Haskell et Caml c'est vieillot, Rust ou Scala plus récent...)
Et devine quoi, on s'en sert pour PROUVER FORMELLEMENT qu'un vulgaire algo impératif marche... Et une preuve formelle c'est, c'est c'est???

C'est des maths, bravooooooo !

Et ça sert à quoi ?
Ça sert à prouver que le dev orienté objet a pas chié dans la colle, qu'un drone militaire tirera sur les barbus uniquement ou qu'un Airbus avec 250 passagers sortira bien sont train d'atterrissage en appuyant sur le bouton xD

reversegangbang
2019-01-13 00:58:07

-Les mathematiciens: Nous allons basé toutes les maths sur l'axiomatique pour que ce soit rigoureux, vrai et démontable"
-Goedel: "Bah en fait.."
-"Ouais bon on fera comme ca quand meme :) "

2019-01-13 09:38:08

Le 13 janvier 2019 à 00:58:07 reversegangbang a écrit :
-Les mathematiciens: Nous allons basé toutes les maths sur l'axiomatique pour que ce soit rigoureux, vrai et démontable"
-Goedel: "Bah en fait.."
-"Ouais bon on fera comme ca quand meme :) "

:rire:

2019-01-13 09:42:51

N'empêche l'op a mis en PLS tous les Jean-Maths sur le langage mathématique :rire:

2019-01-13 13:03:48

https://math.stackexchange.com/questions/2747661/why-is-there-not-a-system-for-computer-checking-mathematical-proofs-yet-2018https://image.noelshack.com/fichiers/2017/30/4/1501186458-risitalarmebestreup.gif

EnCouleur
2019-01-13 13:08:23

L'exemple récent c'est la preuve de la conjecture A+B=C par Mochizuki
La preuve fait 500 pages personne ne la comprend, le mathématicien veut pas se déplacer en Europe, les autres veulent pas aller au Japon. Enfin bref c'est un beau bordel. :rire:

2019-01-13 13:36:57

Le 13 janvier 2019 à 13:08:23 EnCouleur a écrit :
L'exemple récent c'est la preuve de la conjecture A+B=C par Mochizuki
La preuve fait 500 pages personne ne la comprend, le mathématicien veut pas se déplacer en Europe, les autres veulent pas aller au Japon. Enfin bref c'est un beau bordel. :rire:

https://image.noelshack.com/fichiers/2016/26/1467335935-jesus1.png

Il a sûrement forcé sur les variables en lettres arabeshttps://image.noelshack.com/fichiers/2016/26/1467335935-jesus1.png

Il aurait du utiliser l'alphabet chinois avec des indices hébreuxhttps://image.noelshack.com/fichiers/2016/26/1467335935-jesus1.png

Infos
Gestion du forum

contact@geevey.com

API disponible. Utilisez le paramètre "api" en GET, peu importe le contenu, sur une page du site.

Notes

    Partenaire: JVFlux
    Ce site n'est pas associé à Jeuxvideo.com ou Webedia. Nous utilisons seulement des archives publiques.
    Il est inutile de me spammer par e-mail pour supprimer un topic. Au contraire, en conséquence, je mettrais votre topic dans le bloc ci-dessous.
Non-assumage
    Personne n'a pas assumé de topic pour le moment.