Forum de Mathématiques: Maths-Forum

Monsieur23 a écrit:Aloha,

Est-ce que tu parles de modèle au sens "inter-sciences" du terme (comme Sylviel, Dzlogic), ..?

Bonjour,

Existe-t-il des applications de la notion de modèle en informatique (je pense notamment aux fonctions d'autodiagnostic d'un programme)?

Cordialement

Bonjour, J'ai eu ma réponse au sens "inter-sciences". Je m'interrogeais concernant une technique éventuelle (sans parler de méthode générale) en matière de "théorie des modèles". Il me semble avoir lu que Gödel avait utilisé une certaine technique qui revenait à construire un modèle sur lequel il a ...

Merci Dlzlogic, merci Sylviel, merci Doraki Vous m'avez fourni des exemples intéressants. J'aime bien le "Pif" de Sylviel, c'est une façon d'(ré?-)introduire le rôle de l'intuition dans la démarche rationnelle. Cela étant dit, je perçois une (petite ?) différence entre la notion de modèle proposée p...

godzylla a écrit:salut

http://intothecontinuum.tumblr.com/

Bonjour,

Peut être est-ce parce que je ne comprend pas toutes les nuances de l'anglais, mais je ne trouve pas la réponse à ma question sur ce site.

Cordialement

Bonjour, Je ne suis pas féru de logique mathématiques. J'ai du mal à comprendre la notion de modèle, ou plutôt la façon dont on construit le modèle mathématique d'une théorie ou d'un système formel. Existe t il une technique particulière ou puis-je avoir un exemple suffisamment explicite ? Merci d'a...

En effet il ne faut pas voir l'univers comme un contenant. L'univers est tout ce qui est, donc s'il n'y a plus rien, il n'y a plus d'univers. C'est pas plus compliqué que ça (et ça n'a rien à voir avec la relativité, j'insiste). Je ne vois pas comment tu peux en déduire que l'univers se contient lu...

Sur quoi cette affirmation se base-t-elle ? As-tu une citation/publication d'Einstein (ou d'un autre physicien) qui décrive l'univers comme étant l'ensemble A = {A} ? Ce qu'on appelle "univers d'Einstein" en général c'est un modèle d'univers sans expansion ni contraction, rien à voir avec...

L'interdiction de l'ensemble des ensembles qui n'appartiennent pas à eux-mêmes entraîne automatiquement l'interdiction de l'ensemble de tous les ensembles.. (Par contre ça n'interdit pas l'existence d'ensembles se contenant eux même..) Je me suis fourvoyé en prétant à Russel le fait d'avoir démontr...

Pourquoi ? Dans ce genre je connais le paradoxe de Russell mais ce n'est pas ce qu'il dit. C'est l'histoire du barbier qui ne rase que ceux quine se rasent pas eux-même, alors qui rase le barbier ? Russel, par son paradoxe, démontre qu'un ensemble est (doit-être) différent de ses éléments. Mais con...

Bonjour, Merci pour ces informations. Ma question a effectivement un coté philosophique, mais je me plaçais plutôt du point de vue de la logique. Comme l'évoque Adrien69, je songeais au paradoxe de Russel. Si on peut définir l'univers comme l'ensemble des objets réels (je me suis moi-même posé la qu...

Bonjour,
Je suis un petit nouveau qui, après de nombreuses années, reprend contact avec les mathématiques.
Je souhaiterai savoir si définir l'univers comme "l'ensemble des objets réels" est conforme à la théorie des ensembles ?