May 2024 - nexa - server-nexa.polito.it

Re: [nexa] Leibniz e il calcolatore binario (was Re: sul linguaggio...))

by Antonio Vetro'

Immagino sia noto, ma segnalo anche “Il calcolatore universale - Da Leibniz a Turing” di Martin Davis , 2012 https://www.adelphi.it/libro/9788845927416 AV Il giorno 9 mag 2024, alle ore 08:54, Roberto Resoli <roberto(a)resolutions.it> ha scritto: Il 08/05/24 21:58, Roberto Resoli ha scritto: Il 8 maggio 2024 20:21:57 CEST, Daniela Tafani<daniela.tafani(a)unipi.it> ha scritto: Il 08/05/2024 19:35, 380° ha scritto: fino a Leibniz (e oltre?) i numeri e tutta la matematica binaria sono stati strumenti di.../divinazione/ (o meglio teologia). L'aspetto impressionante di quel testo di Leibniz è l'idea che il calcolo binario possa essere effettuato facilmente con una macchina, con una scatola con fori che possano essere aperti e chiusi (aperti nel punto corrispondente a 1 e chiusi nel punto corrispondente a 0), semplicemente prevedendo che attraverso i fori aperti si possa far passare qualcosa (piccoli cubi o biglie) e nulla, ovviamente, passi dai fori chiusi. "La ricostruzione del meccanismo ad opera di L. von Mackensen in disegni tecnici (Fig. L1) ha permesso a R. Paland di costruire un modello funzionante di calcolatrice binaria, oggi conservato nel museo di Kassel" https://www.losguardo.net/wp-content/uploads/2022/01/2021-32-Leibniz-Roero-… Nel video a questa pagina il prof. Ludolf von Mackensen analizza questa e altre macchine di calcolo pensate da Leibniz https://lisa.gerda-henkel-stiftung.de/leibniz_als_ahnherr_der_computer_wiss… Leibniz come capostipite dei computer: le principali invenzioni scientifiche e tecniche e le loro conseguenze Conferenza del Prof. Dr. Ludolf von Mackensen | Conferenza “Theoria cum praxi” Non fu solo con l'invenzione del sistema duale che Leibniz pose le basi del mondo digitale. Nel 1670 progettò anche una macchina da calcolo meccanica con il suo “Banco di calcolo vivente”. Leibniz ha gettato le basi per i computer di oggi? Su quali presupposti si basava il trasferimento dei principi matematici ai processi meccanici da parte di Leibniz? In che modo le idee di Leibniz influenzano ancora oggi le moderne macchine da calcolo? Il Prof. Dr. Ludolf von Mackensen dell'Università di Kassel, che, come ingegnere della formazione ed esperto di storia della tecnologia, ha studiato a fondo gli albori della tecnologia informatica, affronterà queste domande nella sua conferenza. rob

May 9, 2024

Re: [nexa] Leibniz e il calcolatore binario (was Re: sul linguaggio...))

by Carlo Blengino

Beh, su Leibniz, in questa lista, è giusto anche citare "*Leibniz. Una breve biografia intellettuale*" del nostro garante Ugo Pagallo https://shop.wki.it/libri/leibniz-una-breve-biografia-intellettuale-s588786/ Il giorno gio 9 mag 2024 alle ore 10:33 Antonio Vetro' < antonio.vetro(a)polito.it> ha scritto: > Immagino sia noto, ma segnalo anche “Il calcolatore universale - Da > Leibniz a Turing” di Martin Davis , 2012 > https://www.adelphi.it/libro/9788845927416 > > AV > > Il giorno 9 mag 2024, alle ore 08:54, Roberto Resoli < > roberto(a)resolutions.it> ha scritto: > > Il 08/05/24 21:58, Roberto Resoli ha scritto: > > Il 8 maggio 2024 20:21:57 CEST, Daniela Tafani<daniela.tafani(a)unipi.it> > ha scritto: > > Il 08/05/2024 19:35, 380° ha scritto: > > fino a Leibniz (e oltre?) i numeri e tutta la matematica binaria sono > stati strumenti > di.../divinazione/ (o meglio teologia). > > L'aspetto impressionante di quel testo di Leibniz è l'idea che il calcolo > binario possa essere effettuato facilmente con una macchina, > con una scatola con fori che possano essere aperti e chiusi (aperti nel > punto corrispondente a 1 e chiusi nel punto corrispondente a 0), > semplicemente prevedendo che attraverso i fori aperti si possa far passare > qualcosa (piccoli cubi o biglie) e nulla, ovviamente, passi dai fori chiusi. > "La ricostruzione del meccanismo ad opera di L. von Mackensen in disegni > tecnici (Fig. L1) ha permesso a R. Paland di costruire un modello > funzionante > di calcolatrice binaria, oggi conservato nel museo di Kassel" > > > https://www.losguardo.net/wp-content/uploads/2022/01/2021-32-Leibniz-Roero-… > > > Nel video a questa pagina il prof. Ludolf von Mackensen analizza questa > e altre macchine di calcolo pensate da Leibniz > > > https://lisa.gerda-henkel-stiftung.de/leibniz_als_ahnherr_der_computer_wiss… > > Leibniz come capostipite dei computer: le principali invenzioni > scientifiche e tecniche e le loro conseguenze > Conferenza del Prof. Dr. Ludolf von Mackensen | Conferenza “Theoria cum > praxi” > Non fu solo con l'invenzione del sistema duale che Leibniz pose le basi > del mondo digitale. Nel 1670 progettò anche una macchina da calcolo > meccanica con il suo “Banco di calcolo vivente”. Leibniz ha gettato le basi > per i computer di oggi? Su quali presupposti si basava il trasferimento dei > principi matematici ai processi meccanici da parte di Leibniz? In che modo > le idee di Leibniz influenzano ancora oggi le moderne macchine da calcolo? > Il Prof. Dr. Ludolf von Mackensen dell'Università di Kassel, che, come > ingegnere della formazione ed esperto di storia della tecnologia, ha > studiato a fondo gli albori della tecnologia informatica, affronterà queste > domande nella sua conferenza. > > > rob > > > -- *Avv. Carlo Blengino* *Via Duchessa Jolanda n. 19,* *10138 Torino (TO) - Italy* *tel. +39 011 4474035* Penalistiassociati.it

May 9, 2024

Re: [nexa] Premialità e valorizzazione di best-practices nostrane: mastodon in un Liceo del veronese

by 380°

Buongiorno Paolo e Damiano, Paolo Del Romano <delromano(a)gmail.com> writes: [...] > Questo mi ricorda tanto quello che accadde 25 anni fa nella mia scuola dove > qualche docente, un preside illuminato e un ex-studente riuscirono a [...] > Però rimase una cosa per pochi e soprattutto c'è l'amarezza di non essere > riusciti a far capire a molti colleghi docenti la straordinarietà di quello > che stava accadendo. Infatti poi accadde che quando il Dirigente > Scolastico se ne andò, gran parte di quel lavoro è stato perso, dimenticato > e la cosa più grave non è stata data l'opportunità agli studenti che sono > arrivati dopo, di continuare a beneficiare di quelle formidabili esperienze > che l'istituto aveva vissuto e offerto alla comunità scolastica. > > Speriamo che il Galilei di Verona riesca a fare meglio ma credo che fino a > quando non avremo qualche burocrate illuminato ai vertici del MIUR (oggi > solo MIM) non si faranno passi importanti su questo fronte. L'esperienza che racconti è la stessa identica che hanno vissuto praticamente tutti gli attivisti del software libero che hanno contribuito e/o collaborato con istituzioni scolastiche *e* rionali, comunali, regionali, statali, nazionali *e* internazionali: non sono _mai_ "scalate", non perché non siano "scalabili" ma peché attorno c'è un ambiente _sterilizzante_. In particolare potendo effettuare uno studio sociogico e politologico di tutte le attività messe in campo per il software libero e delle relazioni istituzionali (disfunzionali) che ne sono seguite, credo di non esagerare dicendo che "l'istituzione uccide le buone pratiche per questioni di interessi non dichiarati" (poi sì, c'è sempre la scusa del: eh ma è roba per /tennici/, lasciamola fare a _loro_). Qui un articolo che Damiano conosce bene perché lo citò lui in questa lista, che ripercorre notevoli esperienze del mondo dell'attivismo del software libero nelle scuole, arrivate ai massimi livelli istituzionali, a partire dal 1996: «Le tribolazioni del software libero nelle scuole italiane» (La storia di linuxdidattica.org) http://linuxdidattica.org/docs/documenti/tribolazioni_software_libero.html (Antonio Bernardi, circa 2009 ma più probabilmente 2008, l'articolo non è datato [1]) ...ci sono "tonnellate" di esperienze virtuose finite più o meno bene per motivi del tutto analoghi. [...] > Il giorno mer 8 mag 2024 alle ore 17:40 Damiano Verzulli < > damiano(a)verzulli.it> ha scritto: > [...] >> Per capirci: il servizio di cui parlo (mastodon) è lo stesso che EDPS ha >> sperimentato per due anni (con un numero di account sensibilmente >> inferiore) e che --come discusso qualche giorno fa [1]-- ha deciso di >> chiudere. Dunque, un liceo vince... laddove una alta istituzione >> europea... perde. Sì ma il fatto che "un liceo vince" (una piccola battaglia) così come hanno fatto decine e decine di scuole nella recente storia _non_ fa più notizia (qualche anno fa sì, almeno locale), mentre che "una istituzione europea perde" sta facendo molta notizia /internazionale/ e soprattutto "fa tendenza" e nell'immaginario collettivo viene ribadita la /narrazione/ che "chi fa da sé... perde". [...] >> La domanda è: cosa è possibile fare affinchè tale iniziativa venga >> valorizzata? Cosa è possibile fare per portare quel 141 a 200... o anche >> piu'... ad esempio a tutti gli studenti della scuola ? Cosa è possibile >> fare affinché i due docenti che ci stanno dietro... non rischino di >> vedere il proprio operato come "un peso" ma, piuttosto, possano trovare >> giovamento da quello che hanno fatto? >> >> Idee, suggerimenti e commenti (e critiche) sono bene accette :-) non vedo altra soluzione che abolire d'un botto tutte le istituzioni che governano la scuola e lasciare che le _persone_ che amano il proprio lavoro [2] si organizzino /anarchicamente/; ovviamente esagero ... esagero? un forte abbraccio, sincero e commosso, a tutti coloro che hanno speso i migliori anni della propria vita a tentare di cambiare le cose, in qualche caso riuscendoci anche in modo egregio, ma che alla fine sono (sono... siamo!) stati fregati dai "furbi" o dai "pigri" [...] Saluti, 380° [1] Articolo edito nell'antologia Il software libero in Italia, a cura di Andrea Glorioso ed. ShaKe, Milano 2009 (da http://linuxdidattica.org/) [2] ci sono, specialmente nella scuola, un sacco di persone (50%?!?) che avendo un reddito dignitoso garantito in altro modo diverso da quello "vengo a lavorare se mi paghi", lavorerebbero estremamente volentieri _gratis_ perché /amano/ infinitamente il proprio lavoro; anzi lo farebbero ancora più volentieri perché non avrebbero colleghi che lavorano NON amando il proprio lavoro. -- 380° (Giovanni Biscuolo public alter ego) «Noi, incompetenti come siamo, non abbiamo alcun titolo per suggerire alcunché» Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about <https://stallmansupport.org>.

May 9, 2024

Re: [nexa] sul linguaggio (was Re: Articolo sui LLMs...)

by Roberto Resoli

Il 08/05/24 16:03, 380° via nexa ha scritto: > > [1]https://bootstrappable.org/ Una perla! Grazie, rob

May 9, 2024

Re: [nexa] Leibniz e il calcolatore binario (was Re: sul linguaggio...))

by Roberto Resoli

Il 08/05/24 21:58, Roberto Resoli ha scritto: > Il 8 maggio 2024 20:21:57 CEST, Daniela Tafani<daniela.tafani(a)unipi.it> ha scritto: >> Il 08/05/2024 19:35, 380° ha scritto: >>> fino a Leibniz (e oltre?) i numeri e tutta la matematica binaria sono stati strumenti >>> di.../divinazione/ (o meglio teologia). >> L'aspetto impressionante di quel testo di Leibniz è l'idea che il calcolo binario possa essere effettuato facilmente con una macchina, >> con una scatola con fori che possano essere aperti e chiusi (aperti nel punto corrispondente a 1 e chiusi nel punto corrispondente a 0), >> semplicemente prevedendo che attraverso i fori aperti si possa far passare qualcosa (piccoli cubi o biglie) e nulla, ovviamente, passi dai fori chiusi. >> "La ricostruzione del meccanismo ad opera di L. von Mackensen in disegni >> tecnici (Fig. L1) ha permesso a R. Paland di costruire un modello funzionante >> di calcolatrice binaria, oggi conservato nel museo di Kassel" >> > https://www.losguardo.net/wp-content/uploads/2022/01/2021-32-Leibniz-Roero-… Nel video a questa pagina il prof. Ludolf von Mackensen analizza questa e altre macchine di calcolo pensate da Leibniz https://lisa.gerda-henkel-stiftung.de/leibniz_als_ahnherr_der_computer_wiss… > Leibniz come capostipite dei computer: le principali invenzioni scientifiche e tecniche e le loro conseguenze > Conferenza del Prof. Dr. Ludolf von Mackensen | Conferenza “Theoria cum praxi” > > Non fu solo con l'invenzione del sistema duale che Leibniz pose le basi del mondo digitale. Nel 1670 progettò anche una macchina da calcolo meccanica con il suo “Banco di calcolo vivente”. Leibniz ha gettato le basi per i computer di oggi? Su quali presupposti si basava il trasferimento dei principi matematici ai processi meccanici da parte di Leibniz? In che modo le idee di Leibniz influenzano ancora oggi le moderne macchine da calcolo? Il Prof. Dr. Ludolf von Mackensen dell'Università di Kassel, che, come ingegnere della formazione ed esperto di storia della tecnologia, ha studiato a fondo gli albori della tecnologia informatica, affronterà queste domande nella sua conferenza. rob

May 9, 2024

[CDT L-net] The (inter)net is broken (was Re: [CDT L-net] Re: "Novel attack...)

by 380°

380° <g380(a)biscuolo.net> writes: [...] > --8<---------------cut here---------------end--------------->8--- > (https://en.wikipedia.org/wiki/Dynamic_Host_Configuration_Protocol#Security) > > Non è ancora stata "inventato" un _tappabuchi_ per questa falla, > contrariamente ad altri _tabbabuchi_ implementati per quel colabrodo di > rete chiamata Internet. per capire l'estensione del colabrodo, è sempre utile far riferimento a questo bello schemino: https://secushare.org/broken-internet che include: --8<---------------cut here---------------start------------->8--- Ethernet, DHCP When DHCP assigns IP numbers over the Ethernet, Rogue DHCP servers can perform man-in-the-middle attacks on devices being added to a local network. --8<---------------cut here---------------end--------------->8--- (nella versione HTML ci sono alcuni link) Certo, scrivere "Rogue DHCP servers can perform man-in-the-middle attacks" è /scarno/ e non fa notizia, tantomeno fa scalpore :-) Dulcis in fundo, a tutti coloro che si sono spaventati di WandaVision... ops Tunnelvision, mi permetto di presentare: ARP spoofing! --8<---------------cut here---------------start------------->8--- In computer networking, ARP spoofing, ARP cache poisoning, or ARP poison routing, is a technique by which an attacker sends (spoofed) Address Resolution Protocol (ARP) messages onto a local area network. Generally, the aim is to associate the attacker's MAC address with the IP address of another host, such as the default gateway, causing any traffic meant for that IP address to be sent to the attacker instead. ARP spoofing may allow an attacker to intercept data frames on a network, modify the traffic, or stop all traffic. Often the attack is used as an opening for other attacks, such as denial of service, man in the middle, or session hijacking attacks.[1] The attack can only be used on networks that use ARP, and requires attacker have direct access to the local network segment to be attacked.[2] [...] There is no method in the ARP protocol by which a host can authenticate the peer from which the packet originated. This behavior is the vulnerability that allows ARP spoofing to occur. --8<---------------cut here---------------end--------------->8--- (https://en.wikipedia.org/wiki/ARP_spoofing) Non per spaventarvi ulteriormente neh, tipo "FreddyKruegerVision", è _solo_ per spiegare cosa significa realmente essere connessi a una rete _untrusted_. Qualcuno ha già cominciato da diverso tempo ad affrontare seriamente questo problema (es. https://www.w3.org/2014/strint/papers/65.pdf) letteralmente _ignorati_ dall'industria e dalle istituzioni che (s)governano Internet. ...sarà un caso. Saluti, 380° P.S.: _non_ è un problema di "rete fisica", quella può rimanere intatta, è _solo_ un problema di prococolli *e* implementazioni software. -- 380° (Giovanni Biscuolo public alter ego) «Noi, incompetenti come siamo, non abbiamo alcun titolo per suggerire alcunché» Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about <https://stallmansupport.org>.

May 9, 2024

[CDT L-net] Re: "Novel attack against virtually all VPN apps neuters their entire purpose"

by 380°

Buongiorno, il succo del messaggio di Leviathan security group in merito al "nuovo" attacco Tunnelvision (WandaVision?) è questo: https://www.tunnelvisionbug.com/ --8<---------------cut here---------------start------------->8--- VPNs are marketed as a security service that protects users even on untrusted networks (e.g. public Wi-Fi). However, it has been known within the security industry that these claims are questionable, and small leaks have been discovered over the years. Most research has been focused on VPN servers rather than leaking client traffic on a local network. Recently, a technique known as TunnelCrack allowed attackers to leak data from a VPN. Simultaneously, we have been working on a more general technique we call “TunnelVision.” TunnelVision leaks VPN traffic more simply and powerfully. We have demonstrated an attacker can leak all traffic just by being on the same local network as a VPN user. From the user’s perspective, they appear as if they are connected to the VPN. --8<---------------cut here---------------end--------------->8--- Aggiungo io che questo attacco, di tipo man in the middle, funziona solo quando il client VPN viene usato per redirigere _tutto_ il traffico (route all traffic) da/per Internet attraverso la VPN, che serve per nascondere i dati (se non già crittografati) e i _metadati_ (es. query DNS) usati durante la trasmissione. [1] Un altro modo di utilizzare la VPN (meno raro di quanto di creda) è quello di connettere due reti locali tra loro o un dispositivo "roaming" a una rete locale e fare in modo che tutti i dispositivi in rete VPN "si vedano" tra loro come se fossero locali. Il succo della vulnerabilità è che _nessuno_ può nascondere le proprie "tracce digitali" se è connesso a una rete /untrusted/, tantomeno a una rete _locale_ untrusted. 380° <g380(a)biscuolo.net> writes: >> *Novel attack against virtually all VPN apps neuters their entire >> purpose* Novel?!? Anche Leviathan security group ha cancellato "novel" dal proprio blog post: https://www.leviathansecurity.com/blog/tunnelvision (in HTML rende meglio) --8<---------------cut here---------------start------------->8--- Recently, we identified a n̶o̶v̶e̶l̶ network technique that bypasses VPN encapsulation. An attacker can use this technique to force a target user’s traffic off their VPN tunnel using built-in features of DHCP (Dynamic Host Configuration Protocol). The result of this is the user transmits packets that are never encrypted by a VPN, and an attacker can snoop their traffic. --8<---------------cut here---------------end--------------->8--- [...] > https://github.com/leviathansecurity/TunnelVision > > Hint: la "hostile network" è una rete (Wi-Fi o Ethernet) dove > l'attaccante può riesce ad inviare specifici pacchetti DHCP La classe generale di questo attacco è denominata "rogue DHCP" e questa falla di sicurezza di DHCP è conosciuta da sempre, anche se generalmente completamente ignorata: --8<---------------cut here---------------start------------->8--- Because the client has no way to validate the identity of a DHCP server, unauthorized DHCP servers (commonly called "rogue DHCP") can be operated on networks, providing incorrect information to DHCP clients.[32] This can serve either as a denial-of-service attack, preventing the client from gaining access to network connectivity,[33] or as a man-in-the-middle attack.[34] Because the DHCP server provides the DHCP client with server IP addresses, such as the IP address of one or more DNS servers,[8]: sec. 7 an attacker can convince a DHCP client to do its DNS lookups through its own DNS server, and can therefore provide its own answers to DNS queries from the client.[35] This in turn allows the attacker to redirect network traffic through itself, allowing it to eavesdrop on connections between the client and network servers it contacts, or to simply replace those network servers with its own.[35] --8<---------------cut here---------------end--------------->8--- (https://en.wikipedia.org/wiki/Dynamic_Host_Configuration_Protocol#Security) Non è ancora stata "inventato" un _tappabuchi_ per questa falla, contrariamente ad altri _tabbabuchi_ implementati per quel colabrodo di rete chiamata Internet. Saluti, 380° [1] in merito a "ficcanasare" nel traffico di rete locale, ci sono poi altre tecniche sofisticate di deep packet inspection: https://en.wikipedia.org/wiki/Deep_packet_inspection#At_the_enterprise_level -- 380° (Giovanni Biscuolo public alter ego) «Noi, incompetenti come siamo, non abbiamo alcun titolo per suggerire alcunché» Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about <https://stallmansupport.org>.

May 9, 2024

Re: [nexa] "Novel attack against virtually all VPN apps neuters their entire purpose"

by 380°

Buonanotte, executive summary: dipende _tutto_ da come è configurata la VPN e da quale protocollo/software usa "J.C. DE MARTIN" <juancarlos.demartin(a)polito.it> writes: > *Novel attack against virtually all VPN apps neuters their entire purpose* > > /TunnelVision vulnerability has existed since 2002 and may already be > known to attackers. > / > By Dan Goodin > > May 6, 2024 > > https://arstechnica.com/security/2024/05/novel-attack-against-virtually-all… --8<---------------cut here---------------start------------->8--- The researchers believe it affects all VPN applications when they’re connected to a hostile network and that there are no ways to prevent such attacks except when the user's VPN runs on Linux or Android. --8<---------------cut here---------------end--------------->8--- altri dettagli tecnici /asciutti/ qui: https://github.com/leviathansecurity/TunnelVision Hint: la "hostile network" è una rete (Wi-Fi o Ethernet) dove l'attaccante può riesce ad inviare specifici pacchetti DHCP saluti, 380° -- 380° (Giovanni Biscuolo public alter ego) «Noi, incompetenti come siamo, non abbiamo alcun titolo per suggerire alcunché» Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about <https://stallmansupport.org>.

May 8, 2024

Re: [nexa] Leibniz e il calcolatore binario (was Re: sul linguaggio...))

by Roberto Resoli

Il 8 maggio 2024 20:21:57 CEST, Daniela Tafani <daniela.tafani(a)unipi.it> ha scritto: > >Il 08/05/2024 19:35, 380° ha scritto: >> fino a Leibniz (e oltre?) i numeri e tutta la matematica binaria sono stati strumenti >> di... /divinazione/ (o meglio teologia). > >L'aspetto impressionante di quel testo di Leibniz è l'idea che il calcolo binario possa essere effettuato facilmente con una macchina, >con una scatola con fori che possano essere aperti e chiusi (aperti nel punto corrispondente a 1 e chiusi nel punto corrispondente a 0), >semplicemente prevedendo che attraverso i fori aperti si possa far passare qualcosa (piccoli cubi o biglie) e nulla, ovviamente, passi dai fori chiusi. > "La ricostruzione del meccanismo ad opera di L. von Mackensen in disegni > tecnici (Fig. L1) ha permesso a R. Paland di costruire un modello funzionante > di calcolatrice binaria, oggi conservato nel museo di Kassel" > https://www.losguardo.net/wp-content/uploads/2022/01/2021-32-Leibniz-Roero-… rob

May 8, 2024

Re: [nexa] Leibniz e il calcolatore binario (was Re: sul linguaggio...))

by Daniela Tafani

Il 08/05/2024 19:35, 380° ha scritto: > fino a Leibniz (e oltre?) i numeri e tutta la matematica binaria sono stati strumenti > di... /divinazione/ (o meglio teologia). L'aspetto impressionante di quel testo di Leibniz è l'idea che il calcolo binario possa essere effettuato facilmente con una macchina, con una scatola con fori che possano essere aperti e chiusi (aperti nel punto corrispondente a 1 e chiusi nel punto corrispondente a 0), semplicemente prevedendo che attraverso i fori aperti si possa far passare qualcosa (piccoli cubi o biglie) e nulla, ovviamente, passi dai fori chiusi. Mugnai lo ha letto insieme a questo: Leibniz, Dissertatio de arte combinatoria (1666) (1) Si risolva qualunque termine dato nelle sue parti formali, cioè se ne dia un definizione; e si risolvano, quindi, queste parti di nuovo in altre parti, dando una definizione della definizione dei termini, fino a raggiungere le parti semplici, ossia i termini non ulteriormente definibili.[. . .] (2) Non appena si siano trovati tutti i termini primitivi, siano disposti in una classe e siano designati da certi simboli. La cosa più conveniente da fare sarà scegliere numeri. Assegnando numeri (primi) ai concetti primitivi si può procedere a codificare TUTTI i concetti in binario. E usare la macchina per calcolare. > > In merito all'informatica e all'AI scopro anche che: > > --8<---------------cut here---------------start------------->8--- > > In the late 13th century Ramon Llull had the ambition to account for all > wisdom in every branch of human knowledge of the time. For that purpose > he developed a general method or "Ars generalis" based on binary > combinations of a number of simple basic principles or categories, for > which he has been considered a predecessor of computing science and > artificial intelligence. > > --8<---------------cut here---------------end--------------->8--- > Sì, e con una macchina fisica: "Llull con la sua Ars combinatoria (secondo la denominazione di Leibniz) non solo propose un linguaggio logico al-gebrico per rappresentare la conoscenza e generare nuove verità a partire da premesse note, ma fornì anche una implementazione, come diremmo oggi, del suo modello di calcolo. Llull realizzò infatti una macchina fisica costituita da dischi di carta concentrici che, ruotati opportunamente, permettevano di combinare in vario modo i concetti rappresentati in modo simbolico su di essi mediante lettere" (Maurizio Gabbrielli, L’intelligenza artificiale cos’è?, in XXVI Lezioni di diritto dell’intelligenza artificiale, a cura di Ugo Ruffolo, Torino, Giappichelli, 2021) Buona serata, Daniela

May 8, 2024