Il y a de ça quelques mois j'ai lu qu'un language avait été découvert: le lambda calcul,il est -sensé-être un language commun entre les machines et les humains(merci pour la comparaison).
Il se veut être un language tellement naturel qu'il est infaïble(mais pas forcement son implementation)
Donc je voudrais savoir si il existe une implementation pour linux,
savoir où on peut trouver de la doc,
si il y a des examples,
si quelqu'un peut donner les réponses sur tribunelinux.org
Voila.
Journal Lambda calcul
3
oct.
2003
# Re: Lambda calcul
Posté par Pierre Tramo . Évalué à 3.
Le truc qui est à la base des Lisp ?
[^] # Re: Lambda calcul
Posté par Ph Husson (site web personnel) . Évalué à 0.
C'est sensez être une 'couche' commune dans le cerveau et dans l'ordinateur.
J'ai assez mal expliqué je pense mais je ne saurais mieux l'expliquer
[^] # Re: Lambda calcul raccoleur
Posté par free2.org . Évalué à 3.
http://www.afia.polytechnique.fr/node.php?lang=en&node=246(...)
une des démonstrations de Krivine que la "logique" est équivalente au lambda calcul
http://www.pps.jussieu.fr/sepps/abstract/06_0209ln_Laurent.html(...)
[^] # Re: Lambda calcul raccoleur
Posté par Ph Husson (site web personnel) . Évalué à 1.
oui c'était dans un "Science et vie"
[^] # Re: Lambda calcul raccoleur
Posté par bmc . Évalué à 2.
[^] # Re: Lambda calcul raccoleur
Posté par Maillequeule . Évalué à 1.
Je n'achète pas ce genre de magazine pour avoir une vision exhaustive de la réalité d'un sujet.
Et vu le faible pourcentage que je dois mémoriser de toute facon :)
M
# Re: Lambda calcul
Posté par LeMagicien Garcimore . Évalué à 2.
Le lambda calcul a ete "invente" en 1940...
Sans indiscretions, t'as lu ca ou ?
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=lambda-calculus&(...)
[^] # Re: Lambda calcul
Posté par Ph Husson (site web personnel) . Évalué à 0.
[^] # Re: Lambda calcul
Posté par Vivi (site web personnel) . Évalué à 1.
# c'est pas nouveau, plein de langages l'utilisent dont coq
Posté par free2.org . Évalué à 3.
j'aime particulièrement le système coq (sous linux) qui permet de prouver mathématiquement qu'un programme est exact
http://coq.inria.fr/(...)
# Re: Lambda calcul
Posté par Vivi (site web personnel) . Évalué à 3.
« Il s'agit d'une hypothèse (ou d'une théorie) proposée par le logicien et mathématicien français Jean-Louis Krivine, selon laquelle les couches fonctionnelles logiques de base du cerveau, juste au dessus de l'architecture physique des neurones, parleraient un langage proche ou analogue au lambda-calcul. »
http://www.afia.polytechnique.fr/node.php?lang=en&node=246(...)
Sinon, un bon cours d'intro sur le lambda calcul :
http://www.cs.kun.nl/~erikb/T2/dictaat/t2.ps.Z(...)
[^] # bon lien
Posté par free2.org . Évalué à 1.
http://www.cs.kun.nl/~erikb/onderwijs/T3/materiaal/lambda.ps(...)
[^] # Re: bon lien
Posté par koxinga . Évalué à 1.
# Re: Lambda calcul
Posté par mickabouille . Évalué à 2.
En informatique, deux branches sont plus particulièrement utilisées : les mathématiques constructivistes (ensembliste, mais on enlève - quand on peut - les axiomes les plus génants, voire certaines constructions logiques - tiers exclu) et le lambda-calcul (et ses conséquences, les languages fonctionnels).
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.