ttoinou

Parce que la science c'est toujours qqun qui trouve tout tout seul dans sa caverne sans aucune incitation extérieure / informations issues de ses expériences ? C'est ce que j'appelle le mythe du génie créateur. Les bouquins d'Ayn Rand sont des histoires pas la vraie vie

@Kassad Merci pour tes explications. Je fait l'erreur de mélanger 1) la technique qui va nous permettre de faire de nouvelles découvertes (ici exemple comprendre l'intelligence humaine, selon moi ça pourra se faire selon des méthodes pas aussi rigoureuses que tu ne l'espère) et 2) la découverte elle même (sur laquelle tu peux démontrer des trucs : par exemple que c'est impossible de construire une MT qui réplique les fonctionnalités d'un humain). https://fr.wiktionary.org/wiki/artificiel http://www.synonymes.com/synonyme.php?mot=artificiel&x=0&y=0 https://fr.wikipedia.org/wiki/Intelligence_artificielle En lisant ces pages je ne vois pas ce qui te fait dire qu'on veut garantir des résultats, ou obtenir de l'intelligence à partir d'un algorithme. IA englobe plus que ça AMHA Je doute ; le problème selon moi c'est le mot algorithme dans tes hypothèses. Je doute encore. La machine sur laquelle tu écris et transmet ce texte est-elle assimilable à un programme géant ? C'est artificiel puisque c'est nous les humains qui le faisons. Et en faisant ce processus 1) on va découvrir des trucs que l'on expliquera avec de la théorie qu'après coup 2)

Qui te dis qu'on pourra / voudra garantir des résultats ? Qu'est ce que tu appelles garantir d'ailleurs, je suis perdu ? A la différence que cette expérience peut être répétée énormément de fois en changeant les conditions initiales (algo de formation du cerveau + input dans le temps) dans un très court laps de temps << celui de l'humanité et de l'évolution

C'est fait pour être récursif et en déduire un arbre de formules ? Puisque tu regarde les exposant pour chaque nombre premiers J'allais justement te faire remarquer qu'un nombre peut soit se décomposer en suite de formules (=preuve) ou une formule et donc il faut les différencier. Mais en fait une suite finie de formule finie est aussi une formule finie (suffit d'ajouter un nouveau caractère à l'alphabet qui permet de séparer les formules entre elles) Ok mais la seconde partie de ton énoncé n'avait pas besoin de la ( fonction : (formule OU suite de formules) -> entier naturel ) ? Il y a plein de démonstrations de maths/infos qui se passent bien de convertir des expressions en nombres

Ben peut être qu'on en fera pas un "modèle" comme tu l'imagines. Ptêtre qu'on simulera un ADN simplifié qui fait pousser un cerveau dans une simulation avec toutes les bonne conditions exp, et on nourrira le cerveau avec plein d'expériences pour qu'il apprenne comme nous quand on grandit. A la fin on aura un truc informe qui ne sera pas une MT mais avec laquelle on pourra expérimenter et apprendre

Pas compris pourquoi Et ça change quoi dans la deuxième partie de ton énoncé le fait qu'on puisse associer un entier naturel unique à chaque preuve ou formule ?

Fils de..

Ponce. Devinez le prénom

Celui qui arrive à convaincre d'échanger un service ou un fichier contre de la thune (inclus tous les intermédiaires). Faut aussi pas se faire chopper à nourrir tes réseaux de neurones avec des œuvres copiées par ici par là

SQY quoi pour les intimes

En même temps c'est un thread dédié à ce genre de spécimen

JRML : j'étais là bas l'année dernière Bon sinon en regardant les photos ça a pas l'air très grave Les riverains et usagers de cette route pourraient s'associer pour l'entretenir, donc ?

Ben non, nous les hommes on adore le petit pissou dans la rue

Un ami qui n'est pas libéral m'envoie souvent des articles CP et s'y renseigne régulièrement (sûrement parce que tous les autres journaux en ligne disent la même chose)

On fait passer un entretien et on forme une personne au poste pour une semaine seulement ?

https://en.wikipedia.org/wiki/Perpetual_traveler et comment les états s'adaptent (ou pas)

Dans le monde du logiciel libre ça existe des gens comme ça Et certains scientifiques font de la "zététique" ou écrivent des blogs / font de la vulgarisation par pur plaisir sur leur temps libre. Évidemment, c'est minoritaire comparé à des actions lié à des motivations "capitalistes"...

J'ai tenu 1m30

Mmmh l'euro n'était pas dans les cartons depuis plus longtemps ?

Tout à fait, autant j'ai déjà réussi à former des amis aux torrents il y a 10 ans, maintenant c'est plus dur de convaincre qqun à geeker ce sujet puisque l'offre légale de VOD est beaucoup moins dégueu et plus accessible. Perso je continue de pirater car je suis habitué aux connexions internet merdiques et j'aime bien stocker le contenu pour plus tard dans ma bibliothèque PS : ce déterrage

Maléfique ! Je n'utilise pas Google News, quelqu'un sait si leurs résultats sont particulièrement pertinents, ou juste le site bien agencé / minimaliste, ou alors c'est juste pratique d'avoir ça direct dans Google par habitude ?

Google peut probablement remplacer tous ces "éditeurs de presse" par des robots qui analysent tous les sites d'infos et fait un récapitulatif, les technos ont l'air assez mature pour ça. Regulation drives innovation Quel serait le risque légal encouru par une start up qui copierait le contenu des autres sites pour le présenter sous sa propres forme ? Si il existe un pays où ce genre d'entreprise peut s'implanter sans craintes, que peuvent faire les autres pays pour en empêcher l'accès ? Merci je cherchais le mot !

Note bien que l'e-residency n'a rien avoir avec la résidence fiscale (ou autre) ou "planter des drapeaux", ça rentre nulle part à part si tu parles de créer une entreprise là bas

Bon tu as été trop loin là. Que la modo fasse quelque chose !

Tous les débats finissent comme ça, chacun utilisant sa petite définition (TIL qu'en français on met pas de s à sensu à la fin..??)