4710

avatar
Que cache le pays des Dieux ? - Forum Ghibli - Forum Littéraire

La fin d'un monde souillé est venue. L'oiseau blanc plane dans le ciel annonçant le début d'une longue ère de purification. Détachons-nous à jamais de notre vie dans ce monde de souffrance. Ô toi l'oiseau blanc, l'être vêtu de bleu, guide nous vers ce monde de pureté. - Sutra originel dork.

4711

Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

4712

A quoi ça sert que je fabrique des fours pour la pétrochimie si vous ne les utilisez pas ?

4713

4714

Sur le coup, j'ai lu "A quoi ça sert que je fabrique des ours", je me suis dit "ça va intéresser Nil".
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4715

squalyl (./4713) :
a faire des gaz à effet de serre!
Justement non puisque vous ne les utilisez pas !

4716

Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

4717

Tiens je viens de découvrir quand dans Super Caribou il y a 3 easter egg ^^ (et de difficultée croissante)
avatar
Proud to be CAKE©®™


GCC4TI importe qui a problème en Autriche, pour l'UE plus et une encore de correspours nucléaire, ce n'est pas ytre d'instérier. L'état très même contraire, toujours reconstruire un pouvoir une choyer d'aucrée de compris le plus mite de genre, ce n'est pas moins)
Stalin est l'élection de la langie.

4718

Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

4719

avatar
Que cache le pays des Dieux ? - Forum Ghibli - Forum Littéraire

La fin d'un monde souillé est venue. L'oiseau blanc plane dans le ciel annonçant le début d'une longue ère de purification. Détachons-nous à jamais de notre vie dans ce monde de souffrance. Ô toi l'oiseau blanc, l'être vêtu de bleu, guide nous vers ce monde de pureté. - Sutra originel dork.

4720

joli, joli grin (mais il a raison quand même embarrassed)

4721

trisotfl
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

4722

4723

Les retombées d'une bombe nucléaire sont intrinsèquement plus radioactives que les produits de fission d'une centrale nucléaire, à masse égale
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

4724

4725

hippo, tu devrais vraiment lire tes mmsg un jour... y'a des calls qu'il serait sympa de ne pas ignorer ^^
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

4726

prems
avatar
Que cache le pays des Dieux ? - Forum Ghibli - Forum Littéraire

La fin d'un monde souillé est venue. L'oiseau blanc plane dans le ciel annonçant le début d'une longue ère de purification. Détachons-nous à jamais de notre vie dans ce monde de souffrance. Ô toi l'oiseau blanc, l'être vêtu de bleu, guide nous vers ce monde de pureté. - Sutra originel dork.

4727

erf
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

4728

yes ! Bonjour tout le monde !
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

4729

Salut tout le monde !
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

4730

4731

Bonjour tout le monde !
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

4732

4733

Bonjour tout le monde !
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

4734

Soit E un ensemble.

Soit A l'ensemble des permutations de E et B l'ensemble des ordres totaux sur E.

Alors il n'existe pas de bijection canonique entre A et B.

Preuve :
Il existe une permutation distinguée de E : l'identité.
En revanche il n'y a pas d'ordre total distingué.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

4735

Ben ça dépend si E a un ordre canonique ou pas. Tu veux dire qu'il n'existe pas de bijection canonique valable quel que soit E je suppose, mais à te lire on dirait que quel que soit E il ne peut pas y avoir de bijection canonique embarrassed
avatar
« Le bonheur, c'est une carte de bibliothèque ! » — The gostak distims the doshes.
Membrane fondatrice de la confrérie des artistes flous.
L'univers est-il un dodécaèdre de Poincaré ?
(``·\ powaaaaaaaaa ! #love#

4736

Ben E est générique, l'énoncé ne disant rien de plus.
Ça m'a surpris c'histoire. J'aimerais comprendre ce genre de choses. Quelle est la nature profonde de la canonicité, finalement?
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

4737

Ben quand E est générique je comprends ça comme signifiant quel que soit E, autrement dit, pour tout E particulier, la propriété est vraie. En l'occurrence ça n'est pas le cas, il existe des E pour lesquels il y a un ordre total distingué, et il existe des E pour lesquels il y a une bijection canonique entre A et B. J'aurais donc plutôt dit : il n'y a pas en général de bijection canonique, mais bon...

Au fait comment prouve-t-on qu'il n'y a pas en général d'ordre distingué ?
avatar
« Le bonheur, c'est une carte de bibliothèque ! » — The gostak distims the doshes.
Membrane fondatrice de la confrérie des artistes flous.
L'univers est-il un dodécaèdre de Poincaré ?
(``·\ powaaaaaaaaa ! #love#

4738

Oh la la faut que j'enseigne des maths financières la semaine prochaine, j'avais oublié ça, quelle horreur !
Sally (./4737) :
Ben quand E est générique je comprends ça comme signifiant quel que soit E, autrement dit, pour tout E particulier, la propriété est vraie. En l'occurrence ça n'est pas le cas, il existe des E pour lesquels il y a un ordre total distingué, et il existe des E pour lesquels il y a une bijection canonique entre A et B. J'aurais donc plutôt dit : il n'y a pas en général de bijection canonique, mais bon...

Je comprends plutôt ça d'une façon catégorique : ya pas de foncteur kivabien qui associe tel truc à tel autre truc. Mais justement la formulation exacte n'est pas claire pour moi, même si je sens bien qu'il y a un truc derrière. Pis en plus chuis (un petit peu) bourré.
Au fait comment prouve-t-on qu'il n'y a pas en général d'ordre distingué ?

S'il y en avait un alors on construirait une fonction qui à un ensemble associe son plus petit élément pour l'ordre distingué ; c'est contradictoire avec le fait que l'axiome du choix est indécidable. Mais c'est un peu un marteau pilon pour écraser une mouche.

Autre idée, c'est une conséquence de :
La catégorie des ensembles munis d'un ordre total a des foncteurs automorphiques non triviaux. Bon faudra écrire ça demain avec moins d'éthanol dans le sang.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

4739

Hippopotame (./4738) :
Oh la la faut que j'enseigne des maths financières la semaine prochaine, j'avais oublié ça, quelle horreur !
T'inquiètes pas, y'a jamais été demandé à un prof de croire à ce qu'il enseignait, ni même de faire semblant passé un certain niveau d'études hehe

avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4740

TODO : passer chez gibert demain pour acheter un bouquin de maths financières, niveau IUT.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou