« Essence de la connaissance » : différence entre les versions
Aller à la navigation
Aller à la recherche
Contenu ajouté Contenu supprimé
(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] ») |
|||
| (34 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 <span style="color: rgb(0, 0, 255);">'''setSet'''</span><br> |
|||
L'ensemble de tous les ensembles. Notion peu féconde, mais indispensable. |
|||
fonction setSet,setSet -> <span style="color: rgb(0, 0, 255);">'''union'''</span> -> setSet |
|||
fonction setSet,setSet >'''<span style="color: rgb(0, 0, 255);">intersection</span>''' ->setSet |
|||
set <span style="color: rgb(0, 0, 255);">'''fullSet'''</span> |
|||
L'ensemble contenant tous les éléments. |
|||
set <span style="color: rgb(0, 0, 255);">'''emptySet'''</span> |
|||
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);">'''cardinal'''</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);">R</span>''' |
|||
L'ensemble des nombres réels. |
|||
Les fonctions décrites pour l'ensemble '''Z '''peuvent être définies pour l'ensemble '''R '''(avec une signification un peu décalée, comme par exemple pour la fonction ratio). |
|||
== 5 == |
|||
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. |
|||
== Intermède : exploitabilité des ensembles<br> == |
|||
Les concepts émis jusqu'ici sont utiles et intéressants, mais en pratique certains ensembles ne sont pas exploitables, notamment par un ordinateur, pour la raison qu'il est impossible de les représenter au moyen d'une quantité finie d'information. |
|||
Les ensembles Z et R sont inexploitables. |
|||
L'ensemble B est exploitable. |
|||
L'ensemble setSet est inexploitable. |
|||
L'ensemble vide est exploitable. |
|||
Dans la paragraphe qui suit, le but est de trouver à des ensembles inexploitables des sous-ensembles ''commodément'' exploitables. |
|||
condition interval |
|||
Une condition interval comprend une condition basse (bigger ou strictBigger) eu une condition haute (smaller ou strictSmaller). |
|||
Les conditions interval sont définies pourR et Z. |
|||
Une condition interval a comme input complémentaire les valeurs limites. |
|||
L'une des conditions peut être absente, mais pas les deux. |
|||
Un interval est représenté comme en math par ]a,b[ ou [a,b] ou [a,b[ ou [a,...[ ou ]...,b] etc... L'écriture '...' signifie plus ou moins l'infini. |
|||
condition finiteInterval |
|||
C'est une conditon interval dont les deux composantes sont définies. |
|||
set Zinterval |
|||
Un conditionSubSet de Z dont la condition est un interval. Non exploitable. |
|||
set ZFiniteInterval |
|||
Un conditionSubSet de Z dont la condition est un finiteInterval. Exploitable. |
|||
Il est à noter que dans les langages informatiques habituels, les types int, long, short etbyte correspondent précisément à des ZFiniteInterval. |
|||
7 |
|||
condition multiple |
|||
Une condition multiple renvoie true, si l'élément reçu comme argument est un multiple d'une base donnée. |
|||
Une condition multiple a comme input complémentaire cette base. |
|||
condition multipleFiniteInterval |
|||
Une condition combinant une condition interval et une condition multiple. |
|||
set RMultipleFiniteInterval |
|||
Un conditionSubSet de R dont la condition est un multipleFiniteInterval. Exploitable. |
|||
Il est à noter que dans les langages informatiques habituels, les types float et double correspondent précisément à des ZMultipleFiniteInterval. |
|||
99 |
|||
... |
|||
clock |
|||
... |
|||
random |
|||
... |
|||
event |
|||
... |
|||
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