« 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] ») |
||
(39 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! <span style="color: rgb(0, 0, 255);">'''element'''</span> |
|||
Toute entité atomique (insécable) pouvant être connu eu décrit. |
|||
concept! element <span style="color: rgb(0, 0, 255);">'''set'''</span> |
|||
Une collection d'éléments. |
|||
L'ensemble lui-même peut à son tour être considéré comm élément.<br> |
|||
concept! element <span style="color: rgb(0, 0, 255);">'''fonction'''</span> |
|||
Une fonction est un élément particulier.<br> |
|||
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 <span style="color: rgb(0, 0, 255);">'''false'''</span><br> |
|||
Un élément.<br> |
|||
concept! élément <span style="color: rgb(0, 0, 255);">'''true'''</span> |
|||
Un élément autre que false. |
|||
set <span style="color: rgb(0, 0, 255);">'''B'''</span> |
|||
L'ensemble constitué de true, de false, et de rien d'autre. |
|||
fonction B -> <span style="color: rgb(0, 0, 255);">'''not'''</span> -> B |
|||
fonction set,set -> <span style="color: rgb(0, 0, 255);">'''equals'''</span> -> B |
|||
(et donc: fonction B,B -> <span style="color: rgb(0, 0, 255);">'''equals'''</span> -> B)<br> |
|||
fonction B,B -> <span style="color: rgb(0, 0, 255);">'''and'''</span> -> B |
|||
fonction B,B -> <span style="color: rgb(0, 0, 255);">'''or'''</span> -> B |
|||
fonction B,B -> <span style="color: rgb(0, 0, 255);">'''xor'''</span> -> B |
|||
fonction setSet,fullSet -> <span style="color: rgb(0, 0, 255);">'''contains'''</span> -> B |
|||
fonction setSet,setSet -> '''<span style="color: rgb(0, 0, 255);">subSet</span>''' -> B |
|||
fonction setSet -> <span style="color: rgb(0, 0, 255);">'''isEmpty'''</span> -> B<br> |
|||
== 3<br> == |
|||
concept! set <span style="color: rgb(0, 0, 255);">'''Z'''</span><br> |
|||
L'ensemble des nombres entiers (positifs et négatifs).<br> |
|||
fonction setSet -> <span style="background-color: rgb(255, 255, 255);"><span style="color: rgb(0, 0, 255);">'''car<span style="color: rgb(0, 0, 255);" />dinal'''</span></span> -> Z<br> |
|||
fonction Z -> <span style="color: rgb(0, 0, 255);">'''next'''</span> -> Z<br> |
|||
Le suivant d'un nombre entier, qui est un autre nombre entier (et qui n'est le suivant que de ce premier nombre)<br> |
|||
fonction Z,Z -> '''equals''' -> Z <br> |
|||
élément <span style="color: rgb(0, 0, 255);">'''zero'''</span><br> |
|||
Hum... Le cardinal de '''emptySet'''.<br> |
|||
élément <span style="color: rgb(0, 0, 255);">'''one'''</span><br> |
|||
Le suivant de '''zero''' ('''zero''' -> '''next''' -> '''one''').<br> |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''plus'''</span> -> Z<br> |
|||
fonction Z <span style="color: rgb(0, 0, 255);">'''minus'''</span> -> Z |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''minus'''</span> -> Z<br> |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''bigger'''</span> -> B<br> |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''smaller'''</span> -> B<br> |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''strictBigger'''</span> -> B |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''strictSmaller'''</span> -> B |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''product'''</span> -> Z<br> |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''quotient'''</span> -> Z<br> |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''modulo'''</span> -> Z |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''divides'''</span> -> B |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''isSquare'''</span> -> B |
|||
fonction Z,Z <span style="color: rgb(0, 0, 255);">'''isPrime'''</span> -> B |
|||
... |
|||
== 4 == |
|||
set '''<span style="color: rgb(0, 0, 255);">functionSet</span>''' |
|||
L'ensemble des fonctions. (Donc une fonction est bien un élément). |
|||
set '''<span style="color: rgb(0, 0, 255);">conditionSet</span>''' |
|||
Un sous-ensemble de l'ensemble de fonctions, celui consitué des fonctions ayant la forme générale |
|||
setSet,fullSet -> condition -> B |
|||
fonction setSet,conditionSet <span style="color: rgb(0, 0, 255);">'''conditionSubSet'''</span>-> setSet<br> |
|||
Cette fonction reçoit pour input un ensemble et une condition. |
|||
Elle produit comme output un ensemble constitué de tout ou partie des éléments du premier ensemble, ceux pour lesquels la fonction condition est vérifiée (renvoie true). |
|||
Eventuellement l'ensemble output est vide. |
|||
<br> |
|||
... |
|||
clock |
|||
... |
|||
random |
|||
... |
|||
event |
|||
<br> |
|||
<br> |
|||
<br> |
|||
<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