Strumenti Utente

Strumenti Sito


db:logica_combinatoria

Logica combinatoria

Approfondimenti

Info

Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti

Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ]

La Logica combinatoria è una notazione per eliminare la necessità di variabili quantificate in Logica matematica. È stata introdotta da Moses Schönfinkel 1) e Haskell Brooks Curry 2) e, più recentemente, è stata utilizzata nell'informatica come modello teorico di calcolo e anche come base per la progettazione di linguaggi di programmazione funzionale. Si basa su combinatori che sono stati introdotti da Schönfinkel nel 1920 con l'idea di fornire un modo analogo per creare funzioni e rimuovere qualsiasi menzione di variabili, in particolare nella logica dei predicati. 3) Un combinatore è una funzione di ordine superiore che utilizza solo l'applicazione di funzione e i combinatori definiti in precedenza per definire un risultato dai suoi argomenti.


Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org


1)
Moses Schönfinkel (1924) - “Über die Bausteine der mathematischen Logik”
2)
Haskell Brooks Curry (1930) - “Grundlagen der Kombinatorischen Logik”
3)
Stephen Wolfram (2002) - “Un nuovo tipo di scienza”
db/logica_combinatoria.txt · Ultima modifica: 13/04/2019 16:06 (modifica esterna)