I più semplici aspetti (quantistici e relativistici) dei procedimenti di calcolo vengono matematizzati: quindi si ricavano risultati limitativi per quanto riguarda (i) la realizzabilità pratica dell’interpolazione di Craig, e (ii) la decidibilità pratica dell’arit metica con quantificatori limitati.
Natural limitations of algorithmic procedures in logic / D. Mundici. - In: ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI. - ISSN 0392-7881. - STAMPA. - 69:(1980), pp. 101-105.
Natural limitations of algorithmic procedures in logic
MUNDICI, DANIELE
1980
Abstract
I più semplici aspetti (quantistici e relativistici) dei procedimenti di calcolo vengono matematizzati: quindi si ricavano risultati limitativi per quanto riguarda (i) la realizzabilità pratica dell’interpolazione di Craig, e (ii) la decidibilità pratica dell’arit metica con quantificatori limitati.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
