Re: Problemone concettuale

From: Marco C. <dronerosso_at_email.it>
Date: Thu, 13 Jul 2017 14:12:48 +0200

On Thu, 13 Jul 2017 02:58:00 -0700 (PDT), lino.zamboni_at_gmail.com
wrote:

>Il giorno mercoledì 12 luglio 2017 19:50:02 UTC+2, Soviet_Mario ha scritto:
>>
>> Sarei cmq molto curioso di leggere alcune proposizioni (se
>> sono esprimibili coi caratteri dell'alfabeto) scritte nel
>> linguaggio che intendi tu, che non conosco affatto, nei
>> contesti in cui, dopo, dici che funziona perfettamente.
>
>Un piccolo esempio l' ho dato a JTS .
>Un linguaggio scritto formalizzato che ha come argomento parti specifiche
>di fisica etc..non mi risulta che esista .
>
>Esistono degli "approcci" divulgativi che si avvicinano perché spiegano i concetti che vogliono utilizzare , usano delle corrette regole di inferenza ,
>usano proposizioni dichiarative e non di altro genere etc..
>Puoi vedere il passaggio al relativo linguaggio formalizzato come ad un "ulteriore affinamento" delle regole imposte in senso "deterministico".
>Se mi legge un esperto di logica , mi spara . Ma cerco di farmi capire .
>>
>> Circa il linguaggio DOS, che citi pure, non me lo ricordo,

>MS-DOS = Microsoft Digital(non ci giurerei) Operative System

per la precisione : MS DOS = Microsoft DISK Operating System

cavolo, un po' di storia dell'informatica dei primi anni '80 del
secolo scorso non dovrebbe fare male a nessuno :-))

>Ciao
>Lino

Ciao

Marco C.
Received on Thu Jul 13 2017 - 14:12:48 CEST