Risultati della ricerca

In [[teoria della ricorsione]], il '''teorema <math>S_{n}^{m}</math>''' è un risultato di bas Si dividono le variabili della funzione in due blocchi dove il primo rimane variabile e il secondo costant ...

.... Il Teorema di Turing è in un certo senso la "versione informatica" del [[teoremi di incompletezza di Gödel|teorema di incompletezza di Gödel]]. ...originale della dimostrazione di Turing è in realtà basata sul [[problema della fermata]], detto anche problema dell'arresto; si dimostra cioè che non può ...

...Cook]] nel suo articolo "Complessità delle Procedure di Dimostrazione dei Teoremi" ("The Complexity of Theorem Proving Procedures")<ref> ...dopo la pubblicazione di "Complessità delle Procedure di Dimostrazione dei Teoremi". Perciò questo teorema è noto anche come teorema di Cook-Levin poiché entr ...

...ono spesso usate nella [[teoria della calcolabilità]] per dimostrare molti teoremi riguardanti i vari [[modello di calcolo|modelli di calcolo]]. ...>x</sub>. Tale numero x sarà l'indice del programma p_x o indice della funzione φ_x^(k) calcolata proprio da p_x. Pe ...

...rica]], il '''teorema di Rice''' costituisce un importante risultato nella teoria delle [[funzione ricorsiva|funzioni ricorsive]] e delle [[funzione calcolab ...nome da [[Henry Gordon Rice]], il quale ne fornì la dimostrazione nel 1951 nella sua tesi di dottorato presso la [[Università di Syracuse|Syracuse Universit ...

...one consiste nella [[Dimostrazione matematica|dimostrazione]] di [[Teorema|teoremi matematici]] da parte di un [[Programma (informatica)|programma]] per [[com ...nsistono nell'applicazione di metodi computazionali alla dimostrazione dei teoremi. ...

...', p. 70, A. K. Peters, Wellesley Mass, 1997.</ref> Essi fanno parte dei ''teoremi limitativi'', che precisano le proprietà che i [[Sistema formale|sistemi fo ...orema di incompletezza''' di [[Kurt Gödel|Gödel]] si è dimostrato che tale teoria risulta [[Completezza_(logica_matematica)|completa]] per i soli [[Assioma l ...

...i, in modo tale da evitare i paradossi derivati dalla formulazione della [[teoria ingenua degli insiemi]]. ...atematica|teoria fondamentale]] nella matematica moderna, nel senso di una teoria invocata per giustificare le assunzioni fatte riguardo all'esistenza degli ...

...[Euclide]], matematico greco, immaginato da [[Raffaello Sanzio|Raffaello]] nella sua opera ''[[Scuola di Atene]]'']] ...&find=Cerca|titolo=Matematica, Mattematica|editore=Vocabolario Etimologico della Lingua Italiana di Ottorino Pianigiani}}.</ref> [[:wikt:μαθηματικός|μαθηματ ...

{{nota disambigua|il film del 2014|La teoria del tutto}} ...[[fenomeno fisico|fenomeni fisici]] conosciuti. Presupposto minimo di tale teoria è l'unificazione di tutte le [[interazioni fondamentali]]. ...

...uter reale<ref>{{Treccani|macchina-di-turing_(Enciclopedia-della-Scienza-e-della-Tecnica)|Macchina di Turing|accesso=2022-07-19}}</ref>. ...viene largamente usato nella [[teoria della calcolabilità]] e nello studio della [[complessità degli algoritmi]], in quanto è di notevole aiuto agli studios ...