π
<-

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

Unread postby 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 ...
User avatar
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Level up: 26%
 
Posts: 2473
Joined: 29 Sep 2006, 00:00
Location: Le plus loin possible des casio
Gender: Male
Calculator(s):
MyCalcs profile
Class: boup

Re: liste des axiomes

Unread postby 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.
User avatar
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Level up: 26%
 
Posts: 2473
Joined: 29 Sep 2006, 00:00
Location: Le plus loin possible des casio
Gender: Male
Calculator(s):
MyCalcs profile
Class: boup

Re: liste des axiomes

Unread postby 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)
User avatar
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Level up: 26%
 
Posts: 2473
Joined: 29 Sep 2006, 00:00
Location: Le plus loin possible des casio
Gender: Male
Calculator(s):
MyCalcs profile
Class: boup

Re: liste des axiomes

Unread postby 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.
User avatar
tama
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Level up: 40%
 
Posts: 10994
Joined: 19 Dec 2005, 00:00
Location: /dev/null mais je survis :)
Gender: Male
Calculator(s):
MyCalcs profile
Class: epita ING3 \o

Re: liste des axiomes

Unread postby tama » 25 Nov 2006, 12:59

ver2guerre wrote:-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.
User avatar
tama
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Level up: 40%
 
Posts: 10994
Joined: 19 Dec 2005, 00:00
Location: /dev/null mais je survis :)
Gender: Male
Calculator(s):
MyCalcs profile
Class: epita ING3 \o

Re: liste des axiomes

Unread postby Ver2guerre » 25 Nov 2006, 14:00

tama wrote:
ver2guerre wrote:-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.
User avatar
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Level up: 26%
 
Posts: 2473
Joined: 29 Sep 2006, 00:00
Location: Le plus loin possible des casio
Gender: Male
Calculator(s):
MyCalcs profile
Class: boup

Re: liste des axiomes

Unread postby 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.
User avatar
tama
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Level up: 40%
 
Posts: 10994
Joined: 19 Dec 2005, 00:00
Location: /dev/null mais je survis :)
Gender: Male
Calculator(s):
MyCalcs profile
Class: epita ING3 \o

Re: liste des axiomes

Unread postby 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.
User avatar
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Level up: 26%
 
Posts: 2473
Joined: 29 Sep 2006, 00:00
Location: Le plus loin possible des casio
Gender: Male
Calculator(s):
MyCalcs profile
Class: boup

Re: liste des axiomes

Unread postby 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.
User avatar
tama
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Level up: 40%
 
Posts: 10994
Joined: 19 Dec 2005, 00:00
Location: /dev/null mais je survis :)
Gender: Male
Calculator(s):
MyCalcs profile
Class: epita ING3 \o

Re: liste des axiomes

Unread postby 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 !
User avatar
Yak
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Level up: 70.8%
 
Posts: 3382
Joined: 04 Feb 2005, 00:00
Location: Le nez dans mon ordi
Gender: Male
Calculator(s):
MyCalcs profile
Class: PSI

PreviousNext

Return to Autres discussions

Who is online

Users browsing this forum: ClaudeBot [spider] and 1 guest

-
Search
-
Social TI-Planet
-
Featured topics
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 !
1234
-
Donations / Premium
For more contests, prizes, reviews, helping us pay the server and domains...
Donate
Discover the the advantages of a donor account !
JoinRejoignez the donors and/or premium!les donateurs et/ou premium !


Partner and ad
Notre partenaire Jarrety Calculatrices à acheter chez Calcuso
-
Stats.
2602 utilisateurs:
>2528 invités
>67 membres
>7 robots
Record simultané (sur 6 mois):
7582 utilisateurs (le 25/06/2025)
-
Other interesting websites
Texas Instruments Education
Global | France
 (English / Français)
Banque de programmes TI
ticalc.org
 (English)
La communauté TI-82
tout82.free.fr
 (Français)