Présentation (emmanuelfrfr)

Bonjour

Je trouve qu'il y a dans notre société une ambiance de passivité, de non recherche, de conservatisme et de pensées incohérente. J’adore les sciences, la recherche, l'action, progresser, et je trouve plus ces éléments ici.

Avant (j'ai 50 ans et une enfant de 14 ans) je me voyais asocial, mais à un moment de ma vie j'ai fréquenté un groupe qui me ressemblait plus, ce fut un choc de me ressentir très sociable! Je vois beaucoup de messages de personnes se sentant asociaux mais c'est peut être la société qui n'est pas social avec eux

J'ai fait des études de mathématiques, je n'ai pas (et ne cherche pas) d'emploi. Je suis sur un gros projet personnel (déjà très avancé) en fondation des mathématiques (avec des applications en informatique), si ces sujets vous intéresse voir http://lazi.bobu.eu.

Je crois que la chose qui me distingue le plus des autres humains est que la compréhension des mécanismes profonds me parait passionnante et essentielle, mais ce n'est pas partagé  
Par exemple l'énorme majorité des mathématiciens ne s'intéressent pas aux fondations mathématiques ou encore si je m'intéresse à la linguistique, ça serait aux structures essentielles comme les "semantic primes".

Une autre chose qui m'est particulière est qu'il semble que les autres humains cherchent à remporter le concours de la vie la plus longue, moi je cherche plutôt à vivre ma vie. Pour moi il n'y a rien de plus affreux que d'arriver à la fin de sa vie et d'avoir l'impression de ne pas avoir vécu ce que l'on voulait profondément vivre.

Emmanuel, content d'avoir trouver ce forum.

(￣ー￣)

Bienvenue !

Salut Emmanuel, je comprends très bien cette conception de se voir comme asocial (disons hmmm introverti ), tout en se comportant en extraverti dès qu'on discute d'un sujet interessant...  Ne pas savoir que dire dans des situations mondaines chiantes....  ou ne pas parvenir à parler de la pluie et du beau temps avec conviction ... je connais ça aussi.  

Ce que tu dis au sujet des fondements des maths m'interpelle et m'excite...  Je ne suis pas mathématicien, mais j'applique des théories mathématiques à des théories de domaines appliqués (comme la biologie ). Le fond des choses concernant le fonctionnement du monde m'interesse superlatif.  Mais je ne suis pas spécialiste des fondements des maths.  À peine une louche de th des ensembles et de logique... mais juste le préambule de ton projet "Lazi" me semble vraiment mystérieux (et donc interessant)....  Que veut-on dire par une fondation des maths qui ne repose pas sur la th des ensembles ou la logique ?    

J'avais en fait commencé la lecture d'un livre sur la théorie des catégories qui proposait une géométrisation de la logique devant servir de fondement aux mathématiques...  Mais je ne me suis pas rendu loin... c'était trop costaud pour moi dans un domaine des maths dans lequel je n'avais jamais étudié sérieusement.   Cette idée qu'on pourrait  "inverser" les fondements (pour ainsi dire) en faisant reposer l'édifice sur la géométrie me fascine beaucoup  et je me dis que je continuerai à lire cela quand je pourrai (Mais j'achète trop de livres ....)

Peux-tu seulement me dire si l'angle sous lequel tu vois les fondements des maths est en principe similaire à celui de ceux qui le chercher sur la th des catégories ou certaines géométries ?    C'est très flou encore pour moi, je suis désolé..  

Je me demande aussi comment une autre civilisation dans une autre galaxie pourrait avoir développé les mathématiques.  Existerait-il des moyens de contourner (ou de résoudre) le problème des fondements d'une manière qui nous permettrait d'utiliser la puissance de l'infini ? Ça j'avoue que ça me fait fantasmer, même si ce n'est pas raisonnable.   Qu'est-ce que tu penses de cette question de l'hypercalculabilité super-Turing:  il y a des auteurs qui prétendent que des réseaux de neurones ou autres dispositifs pourraient dépasser la "barrière de Turing" tandis que la plupart semblent admettre que ce n'est pas possible.   Pourrait-il y avoir un lien selon toi entre le problème des fondements et ce type d'applications informatiques ?  

--------------

J'ai lu l'introduction de 14 p du langage Lazi vers lequel pointe ton lien....  J'avoue ne pas du tout voir ce en quoi cela concerne le problème des fondements mathématiques.   Je ne vois seulement qu'un nouveau langage de programmation fonctionnel. Et je ne vois absolument pas en quel sens il ne reposerait pas sur la logique.  Bref je suis confus.  ? Dans tous les cas, c'est fascinant et il y a tellement de sujets à creuser que je ne sais plus ou donner de la tête...

------
et en passant : joyeux Noel (J'en oubliais les usages sociaux désolés: À + )

Bonjour emmanuelfrfr,

la compréhension des mécanismes profonds me parait passionnante et essentielle, mais ce n'est pas partagé

... si, si, mais peut-être pas par tout le monde

Le problème des fondements, c'est aussi celui des limites (cf. le salon sur la "Sur la Nature de la rationalité et de ses limites" initié par Badak).

Bienvenue au club et bonnes fêtes de fin d'année !