xénolinguistique

L'originalité de "Premier Contact"* est de montrer comment le langage qu'elle décrypte avec difficulté finit peu à peu par l'imprégner, par façonner sa perception, sa pensée, ses rêves. On savait que toute langue était porteuse d'une culture. Ici, le langage découvert ouvre sur un bouleversement intérieur vertigineux.

Auteur: Internet

Info: Critique d'un spectateur sur Allociné. *Film SF de Gilles Villeneuve, d'après une nouvelle de Ted Chiang.

[ cinéma ]

pythagorisme

La science, la nouvelle noblesse ! Le progrès. Le monde marche ! Pourquoi ne tournerait-il pas ?

C’est la vision des nombres. Nous allons à l’Esprit. C’est très certain, c’est oracle, ce que je dis. Je comprends, et ne sachant m’expliquer sans paroles païennes, je voudrais me taire.

Auteur: Rimbaud Arthur

Info:

[ conviction ] [ illusion ]

déréliction

J’aimai le désert, les vergers brûlés, les boutiques fanées, les boissons tiédies. Je me traînais dans les ruelles puantes et, les yeux fermés, je m’offrais au soleil, dieu de feu.

Auteur: Rimbaud Arthur

Info: Une saison en enfer

[ abandon ] [ chien andalou ]

couple

Le mieux en ménage est d'avoir pour l'autre une indulgence plénière.

Auteur: Balzac Honoré de

Info: Philosophie de la vie conjugale

[ tolérance ]

meneurs historiques

Seuls des esprits limités peuvent supposer que les événements historiques naissent de telle ou telle personnalité. Ce sont les idées qui mettent l’Histoire en branle. Elles ne se contentent pas de s’emparer des masses et d’y acquérir le poids nécessaire ; elles prennent la forme, en chair et en os, de gens concrets, pas toujours appropriés. Et c’était une idée qui, en Russie, avait fait la révolution, après s’être personnifiée, au gré des circonstances, dans un petit homme à la santé vacillante [Lénine], avec une capacité de travail et un talent oratoire hors du commun, et l’avoir emporté comme une comète à travers toutes les difficultés et les dangers : arrestations, exils, trahisons, attentats. S’il n’avait pas existé, le pays aurait eu un autre chef, plus ou moins grand que lui, aux cheveux plus ou moins foncés.

Auteur: Iakhina Gouzel

Info: Les enfants de la Volga

[ remplaçables ]

gamins oppressés

On n'imagine pas ce que ressent un enfant quand il faut qu'il se fasse encore plus petit qu'il n'est, quand il n'a pas droit à l'erreur, quand chaque faux pas prend un air de fin du monde.

Auteur: Yamen Manai

Info: Bel abîme

[ inconcevable ] [ inimaginable ]

savoirs

Pour un réaliste perspectiviste, les affirmations les plus fortes qu'un scientifique puisse légitimement avancer seront sous une forme nuancée et conditionnelle : 'Selon cette théorie solidement confirmée (ou selon cet instrument fiable), le monde semble être à peu près comme tel'. Il n'est pas possible de franchir de cap supplémentaire dans l'objectivisme et de déclarer inconditionnellement : "Cette théorie (ou cet instrument) nous fournit une image complète et littéralement correcte du monde lui-même."

Auteur: Giere Ronald Nelson

Info: Scientific Perspectivism

[ transitoires ] [ temporaires ]

pragmatisme

Nous n'avons pas besoin d'une réponse à la question du sens de la vie, tout comme nous n'avons pas besoin d'une théorie du tout. Ce dont nous avons besoin, ce sont de multiple descriptions de beaucoup de choses, de nouvelles approches des phénomènes, qui changeront l'aspect sous lequel  nous les voyons, qui les éclairent différemment et nous permettent de les voir à nouveau.

Auteur: Critchley Simon

Info: Sur nytimes.com

[ humilité ] [ à petits pas ] [ sciences ] [ recherche ]

informatique

Il n'y a pas d'approche meilleure que les autres pour ce qui est de représenter la connaissance, ou résoudre des problèmes, et autres limitations de l'intelligence artificielle actuelle, car tout ça provient pour bonne partie de la quête de "théories unifiées", ou alors des tentatives de réparations-corrections des déficiences de positions idéologiques théoriquement soignées, mais qui  conceptuellement s'appauvrissent. Nos réseaux connexionnistes purement numériques sont par essence déficients en termes de capacité à raisonner correctement ; nos systèmes logiques purement symboliques sont intrinsèquement déficients en termes de capacité à représenter les "connexions heuristiques" les plus importantes entre les choses - ces liens incertains, approximatifs et analogiques dont nous avons besoin pour formuler de nouvelles hypothèses. La polyvalence dont nous avons besoin ne peut être trouvée que dans des architectures à plus grande échelle, qui peuvent exploiter et gérer les avantages de plusieurs types de représentations en même temps. Chacune peut alors être utilisée pour surmonter les déficiences des autres.

Auteur: Minsky Marvin

Info: Logical vs Analogical or Symbolic vs. Connectionist or Neat vs. Scruffy

[ gradients d'apprentissage ] [ limitation ]

intégration

(Ur, En allemand préfixe permettant l'accentuation ou l'exagération d'un mot)

En théorie des ensembles, un ur-element (ou urelement) est quelque chose qui n'est pas un ensemble mais qui peut être élément d'un ensemble.

Ils partagent ainsi avec le seul ensemble vide le fait de ne posséder aucun élément, mais pour des raisons tout à fait différentes : rien ne peut appartenir à un ur-element parce que cela n'a pas de sens, alors que rien n'appartient à l'ensemble vide par définition.

Les ur-elements sont aussi appelés atomes, individus, éléments primitifs ....

La théorie des ensembles moderne a pu montrer que, pour développer l'ensemble des mathématiques, on pouvait complètement se passer d'atomes. Tous les ensembles utiles peuvent être construits à partir de l'abstraction mathématique qu'est l'ensemble vide. 

Néanmoins les théories des ensembles avec ur-elements gardent leur intérêt, pour des théories des ensembles faibles, ou tout simplement parce qu'elles peuvent apparaître plus naturelles au prime abord. De façon imagée, si on veut prouver que tout homme résidant à Paris réside en France, on va utiliser les propriétés de la relation d'inclusion telles qu'elles sont définies en théorie des ensembles. Pourtant, on ne va pas affirmer pour le prouver que tel homme (ur-element) qui vit à Paris donc en France est construit à partir de l'ensemble vide.

Adjoindre à l'ontologie ensembliste des objets qui ne sont pas des ensembles permet d'étendre son application à d'autres domaines. Mais il faut bien sûr formellement s'assurer que les théorèmes acquis sur les seuls ensembles peuvent s'exporter hors de ce domaine. D'où l'intérêt d'une théorie des ensembles avec ur-elements qui peut le garantir formellement.

Syntaxiquement, leur introduction consiste à enrichir le langage ensembliste (ne comprenant que les symboles de relation binaire d'appartenance et d'égalité) de constantes d'individus.

Les quantifications présentes dans les axiomes de la théorie des ensembles sont alors généralement relativisées aux seuls ensembles et ne s'appliquent pas aux ur-elements.

Dans des axiomatiques comme la théorie des ensembles typée, les objets de type 0, ou atomes, peuvent être considérés comme des ur-elements.

Résultats

L'adjonction d'ur-elements au système des New Foundations de  Quine (NF), a des conséquences surprenantes. En particulier, alors que l'on ne sait pas si la théorie NF est cohérente (relativement à ZFC et ses extensions), la théorie NF avec Ur-elements, notée NFU, se révèle cohérente relativement à l'arithmétique de Peano : une théorie bien plus faible que ZFC. De plus NFU plus l'axiome du choix est cohérente relativement à NFU, alors que NF démontre la négation de l'axiome du choix !

Auteur: Internet

Info: https://fr.wikipedia.org/wiki/Ur-element

[ composant singulier ] [ corps étranger ]