« Essence de la connaissance » : différence entre les versions
Aller à la navigation
Aller à la recherche
Contenu ajouté Contenu supprimé
Aucun résumé des modifications |
(Contenu remplacé par « A présent Assothink: [http://m3m.homelinux.org/wikiMC/index.php/Essence_de_la_connaissance m3m.homelinux.org/wikiMC/index.php/Essence_de_la_connaissance] ») |
||
(46 versions intermédiaires par le même utilisateur non affichées) | |||
Ligne 1 : | Ligne 1 : | ||
A présent Assothink: [http://m3m.homelinux.org/wikiMC/index.php/Essence_de_la_connaissance m3m.homelinux.org/wikiMC/index.php/Essence_de_la_connaissance] |
|||
== Introduction == |
|||
Sous ce titre trop vague se trouve une recherche assez concrète. |
|||
Elle touche aux maths, un peu à la philo, à l'informatique et à la cognostique. |
|||
Elle a deux buts, et l'atteinte de ces buts est fort imprévisible: |
|||
la construction d'un possible nouveau langage informatique |
|||
la construction d'un modèle de pensée artificielle |
|||
== Evidences == |
|||
Dans la recherche des notions premières, le but ultime semble toujours in fine inaccessible. |
|||
La présente démarche ne s'épuisera pas de ce coté là, mais se tournera plutôt vers la pyramide des constructions. |
|||
Donc avec une certaine paresse, divers concepts seront considérés comem évidents. |
|||
Je suppose qu'une couche fondatrice pourra être explorée dans des livres de math ou de philo.<br> |
|||
Ici l'indication "concept!" sera la marque de la limite de cette paresse. |
|||
Par ailleurs le sens de certains de ces concepts ne prend forme qu'avec l'introduction de concepts ultérieurs: pas de construction séquentielle immaculée. |
|||
English: pourquoi des concepst en anglais ? Eh bien à cause des analogies ou perspectives informatiques. |
|||
== 0 == |
|||
concept! '''element''' |
|||
Toute entité atomique (insécable) pouvant être connu eu décrit. |
|||
concept! '''set''' |
|||
Une collection d'éléments. |
|||
concept! '''fonction''' |
|||
Une fonction se décrit pas la transformation d'un input en output. |
|||
L'input et l'output ne peuvent être vides. |
|||
L'input et l'output sont des éléments d'ensembles. |
|||
La description d'une fonction implique de préciser les ensembles input et output. |
|||
== 1 == |
|||
set '''setSet'''<br> |
|||
L'ensemble de tous les ensembles. Notion peu féconde, mais indispensable. |
|||
set '''fullSet''' |
|||
L'ensemble contenant tous les éléments. |
|||
set '''emptySet''' |
|||
L'ensemble vide, c'est à dire ne contenant aucun élément. |
|||
== 2 == |
|||
concept! élément '''false''' |
|||
Un élément.<br> |
|||
concept! élément '''true''' |
|||
Un élément autre que false. |
|||
set '''B''' |
|||
L'ensemble constitué de true, de false, et de rien d'autre. |
|||
fonction B -> not -> B |
|||
fonction B,B -> equals -> B |
|||
fonction B,B -> and -> B |
|||
fonction B,B -> or -> B |
|||
fonction B,B -> xor -> B |
|||
fonction setset,set -> contains -> B |
|||
fonction setset,setset -> contains -> B |
|||
<br> |
|||
<br> |
Dernière version du 25 juin 2012 à 11:50
A présent Assothink: m3m.homelinux.org/wikiMC/index.php/Essence_de_la_connaissance