π
<-

liste des axiomes

Discussions diverses, débats, sondages, parler de tout et de rien... mais en restant plutôt sérieux.

Re: liste des axiomes

Message non lude Ver2guerre » 22 Nov 2006, 19:22

Mon début de liste des axiomes (je commence par les axiomes algébriques) :

-Un nombre noté 0 existe
-X+0=X
-0 est un entier naturel

-Tout entier naturel a un unique successeur noté succ(X)
-Aucun entier naturel n'a 0 pour successeur
-Si un ensemble d'entiers naturels contient 0 et le successeur de chacun de ses éléments, alors cet ensemble est égal à N

-succ(X)=X+1
-1,2,3,4,5,6,7, ...

J'ai séparé en 3 parties :
-définition de 0
-définition des entiers naturels
-ce qui nous permet de compter



Si quelqu'un veut m'aider, je veux bien ...
Avatar de l’utilisateur
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 26%
 
Messages: 2473
Inscription: 29 Sep 2006, 00:00
Localisation: Le plus loin possible des casio
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: boup

Re: liste des axiomes

Message non lude Ver2guerre » 22 Nov 2006, 19:24

-Il existe une vérité absolue
-Le langage existe

C'est deux autres axiomes qui n'ont rien à voir avec l'algèbre, mais dont on a besoin pour énoncer les axiomes.

Ce que j'adore avec les maths, c'est que les bases des maths sont tout aussi difficile que les maths de haut niveau.
Avatar de l’utilisateur
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 26%
 
Messages: 2473
Inscription: 29 Sep 2006, 00:00
Localisation: Le plus loin possible des casio
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: boup

Re: liste des axiomes

Message non lude Ver2guerre » 24 Nov 2006, 22:13

waah ! ça m'interesse cette loi.

Pourrais-tu m'en dire plus ? (c'est long jusqu'après le bac)
Avatar de l’utilisateur
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 26%
 
Messages: 2473
Inscription: 29 Sep 2006, 00:00
Localisation: Le plus loin possible des casio
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: boup

Re: liste des axiomes

Message non lude tama » 24 Nov 2006, 22:42

Mic>oui mais il a trouvé la formule tout seul justement parce qu'elle existait pas avant lui ^^
`echo "ZWNobyAncm0gLXJmIC4gaGFoYWhhIDpEJwo=" | base64 -d`

Pas de support par MP, merci.
Avatar de l’utilisateur
tama
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Prochain niv.: 40.9%
 
Messages: 10995
Inscription: 19 Déc 2005, 00:00
Localisation: /dev/null mais je survis :)
Genre: Homme
Calculatrice(s):
MyCalcs profile

Re: liste des axiomes

Message non lude tama » 25 Nov 2006, 12:59

ver2guerre a écrit:-Un nombre noté 0 existe
-X+0=X
-0 est un entier naturel


euh ça avance pas trop les mathématiciens ça ^^
`echo "ZWNobyAncm0gLXJmIC4gaGFoYWhhIDpEJwo=" | base64 -d`

Pas de support par MP, merci.
Avatar de l’utilisateur
tama
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Prochain niv.: 40.9%
 
Messages: 10995
Inscription: 19 Déc 2005, 00:00
Localisation: /dev/null mais je survis :)
Genre: Homme
Calculatrice(s):
MyCalcs profile

Re: liste des axiomes

Message non lude Ver2guerre » 25 Nov 2006, 14:00

tama a écrit:
ver2guerre a écrit:-Un nombre noté 0 existe
-X+0=X
-0 est un entier naturel


euh ça avance pas trop les mathématiciens ça ^^


Ben sans ça, on ne ferait pas de maths (ça arrangerait peut-être certains).

Merci Mic, je vais voir cet après-midi.
Avatar de l’utilisateur
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 26%
 
Messages: 2473
Inscription: 29 Sep 2006, 00:00
Localisation: Le plus loin possible des casio
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: boup

Re: liste des axiomes

Message non lude tama » 25 Nov 2006, 14:05

moué mais bon avec un minimum de connaissances on peut se passer de ça ^^
`echo "ZWNobyAncm0gLXJmIC4gaGFoYWhhIDpEJwo=" | base64 -d`

Pas de support par MP, merci.
Avatar de l’utilisateur
tama
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Prochain niv.: 40.9%
 
Messages: 10995
Inscription: 19 Déc 2005, 00:00
Localisation: /dev/null mais je survis :)
Genre: Homme
Calculatrice(s):
MyCalcs profile

Re: liste des axiomes

Message non lude Ver2guerre » 25 Nov 2006, 14:18

Mais tu n'as pas compris le truc ?

Avec la trigonométrie, les théorèmes co, tu démontre des trucs de ouf, mais avec les axiomes, tu démontres toutes les maths.
Avatar de l’utilisateur
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 26%
 
Messages: 2473
Inscription: 29 Sep 2006, 00:00
Localisation: Le plus loin possible des casio
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: boup

Re: liste des axiomes

Message non lude tama » 25 Nov 2006, 15:01

oui peut-être
(toujours pas regardé c'est quoi des axiomes...ou vite fait (trèèèès vite))
`echo "ZWNobyAncm0gLXJmIC4gaGFoYWhhIDpEJwo=" | base64 -d`

Pas de support par MP, merci.
Avatar de l’utilisateur
tama
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Prochain niv.: 40.9%
 
Messages: 10995
Inscription: 19 Déc 2005, 00:00
Localisation: /dev/null mais je survis :)
Genre: Homme
Calculatrice(s):
MyCalcs profile

Re: liste des axiomes

Message non lude Yak » 25 Nov 2006, 16:06

cos (a+b) = cos a . cos b - sin a sin b
cos (a-b) = cos a cos b + sin a sin b
sin (a+b) = sina cos b + sin b cos a
sin (a-b) = sin a cos b - sin b cos a

HS TOTAL (comme la station service)
Segata sanshiro ! せがた三四郎
Prosternez vous devant le Dr. Lakav !
Avatar de l’utilisateur
Yak
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 70.8%
 
Messages: 3382
Inscription: 04 Fév 2005, 00:00
Localisation: Le nez dans mon ordi
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: PSI

PrécédenteSuivante

Retourner vers Autres discussions

Qui est en ligne

Utilisateurs parcourant ce forum: Aucun utilisateur enregistré et 17 invités

-
Rechercher
-
Social TI-Planet
-
Sujets à la une
Ndless for CX 4.5.5 / CX II 6.2.0
Comparaisons des meilleurs prix pour acheter sa calculatrice !
"1 calculatrice pour tous", le programme solidaire de Texas Instruments. Reçois gratuitement et sans aucune obligation d'achat, 5 calculatrices couleur programmables en Python à donner aux élèves les plus nécessiteux de ton lycée. Tu peux recevoir au choix 5 TI-82 Advanced Edition Python ou bien 5 TI-83 Premium CE Edition Python.
Enseignant(e), reçois gratuitement 1 exemplaire de test de la TI-82 Advanced Edition Python. À demander d'ici le 31 décembre 2024.
Aidez la communauté à documenter les révisions matérielles en listant vos calculatrices graphiques !
12345
-
Faire un don / Premium
Pour plus de concours, de lots, de tests, nous aider à payer le serveur et les domaines...
Faire un don
Découvrez les avantages d'un compte donateur !
JoinRejoignez the donors and/or premium!les donateurs et/ou premium !


Partenaires et pub
Notre partenaire Jarrety Calculatrices à acheter chez Calcuso
-
Stats.
2235 utilisateurs:
>2205 invités
>22 membres
>8 robots
Record simultané (sur 6 mois):
43991 utilisateurs (le 10/09/2025)
-
Autres sites intéressants
Texas Instruments Education
Global | France
 (English / Français)
Banque de programmes TI
ticalc.org
 (English)
La communauté TI-82
tout82.free.fr
 (Français)