Reprise du message précédent :

oui pour recevoir le mag c'est mieux

désolé .

Sinon, comment définir les nombres premiers avec l'arithmétique de Péano  
J'ai pensé à un truc comme :

fais tes devoirs tout seul

Je veux juste vous faire partager ma réflexion

 
Je parlerais plutôt de logique du premier ordre ; l'arithmétique de Péano est une utilisation particulière de ce formalisme pour définir l'ensemble des entiers naturels.
 
EDIT: 1 n'est pas premier
 
Re-EDIT: 0 n'est pas premier non plus, mais pourtant il satisfait ta deuxième condition

http://sourceforge.net/projects/powertweak
 

y=1 v (y<>0 ^ (y=x*z --> (x=1 v z=1))

Oui, 1 n'est pas premier donc il faut déjà retirer la partie y=1
 
Par contre, pour le Re-EDIT, je ne suis pas d'accord. Savoir que y=x*z n'implique pas que x = 1 ou z = 1 si y = 0
 
Je dirais que ça ça doit passer :
y=x*z --> (x=1 v z=1) ^ (x <> z)

Je ne pensais pas avoir autant de succès
 

 
J'ai pas asser lu la première ligne de l'article wikipedia on dirait  
 

 
D'après ce qu'il y a dessus et dessous, ça ne marche pas car y ne peut pas être égal à 1.
 

Au temps pour moi. Tu as raison, mon Re-EDIT est parfaitement faux...

bon on va vous déplacer vers programmation ...
Vous êtes en train d'élever un peu trop haut le débat sur blabla@OSA

 
 
Je donnerai la solution quand je l'aurai.
Un peu d'émulation sur OSA, ça fait pas de mal.
 
A+

une discussion sur qemu me convient effectivement plus

la solution de Kristoph ne te satisfait pas ?

Edit : Oups, je dis n'importe quoi
 

Yop les barbus  
 

Mon prof principal de seconde nous avais fait un truc du genre lors de la première heure de cours :
"Jusqu'a présent vous étiez des collégiens, des gamins, mais ici, on va faire de vous des hommes, des machines à tuer bosser"
 
L'original :

Tu m'as donné envie de revoir le film  

http://www.drplock.org/blog/index. [...] sace&cos=1
   
Certains commentaires sont terribles

Hihi j'ai recut mon wrt54gl
Bon ben, plus qu'a foutre openwrt

tu l'as commandé où ? <cc>

amazon
tous les autres sites étaient en rupture et plus cher

tiens tu ne te sers jamais de jabber ,?

hmmm... ca fait longtemps que je l'ai pas allumer effectivement

tu l'as payé combien en passant ?

 
Ah bah tiens !
Tu pourras me dire à l'occasion si ton wrt54gl fait du bruit lors des reboots (même genre de bruits que les vieux téléphones à impulsion).
Je trouve ça assez étrange que de l'électronique fasse ce genre de bruits.

En meme temps toi non plus t'es pas connecté là
Sinon 52€ plus 10 de frais de port

Ben pour l'instant non... je l'ai rebooté deux fois et rien.
Ca fait quel genre de bruit ?
Si c'est cliquetis j'ai deja eut ca avec un ptit cisco 850 et 870 (et peut etre un 1800 aussi, m'en rappelle plus)
je pense que ca vient d'un condo quand il est dans un certain état.
 
Edit: c'est quoi le bruit d'un tél a impulsion

si justement je suis connecté :o
mais il semble que j'ai un petit souci de communication avec jabber.org :/

Sinon il est dispo sur ldlc et vu qu'ils livrent en guyane  , je vais peut etre me laisser tenter :)

sinon si tu veux etre gentil tu peux le transformer en access point grand public
http://fr.fon.com/

bon a priori c'est jabber.org qui merde vu qu'il y a le meme souci a partir de amessage \o/

c'est justement pour cela que j'y pensais

et qui te dis que c'est pas un probleme de littleboboy qui est en train de pourrir tous les jabber du monde.. hein

car j'utilise ejabberd et que je tourne sous debian.
cqfd

Ah ouai... j'ai rien dir
Sinon tu comptes mettre FON ou un openwrt a ta sauce ?

bah déja il faut que je me décides a l'acheter ...  
ensuite si je le prends j'opterais pour FON.
(le premier réseau FON en guyane \o/ )

oui c'est ce que je me suis dit

 
Je sais pas ce qu'ils fument, mais c'est de la bonne.

bon d'après les maps de fon il y en a déja en guyane

J'en ai pas vu il y a 1h
 
edit: Ah si à kourou
Bon ben