Matematico e logico russo (Pietroburgo 1903 - Mosca 1979), figlio del precedente. Il suo nome è legato agli algoritmi normali o di M., alla computabilità secondo M., che è equivalente alla ricorsività, [...] al principio di normalizzazione o principio di Markov. Questo principio, che corrisponde in termini algoritmici alla tesi di Church, può essere così espresso: "Tutti gli algoritmi in un alfabeto A sono ...
Leggi Tutto
Odifreddi, Piergiorgio. - Matematico e scrittore italiano (n. Cuneo 1950). Laureato in matematica a Torino (1973), ha proseguito gli studi negli Stati Uniti presso le università dell’Illinois e della [...] di matematica all’università di Torino (2001-07). Ha svolto attività di ricerca nel campo della teoria della ricorsività, ed è anche saggista e storico della scienza. Attivo nella divulgazione scientifica, tra le sue pubblicazioni occorre citare ...
Leggi Tutto
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] aritmetica) e infine alle funzioni quantificate (gerarchia analitica). Si interessò anche delle relazioni tra la teoria della ricorsività e l'intuizionismo, nonché di analisi intuizioniste. Tra le sue opere: General recursive functions of natural ...
Leggi Tutto
L’opera in volgare di Francesco Petrarca (Arezzo 1304 - Arquà 1374) si esaurisce nelle 366 liriche d’amore che compongono i Rerum vulgarium fragmenta (indicato più comunemente, a partire dal Quattrocento, [...] si richiamano reciprocamente, come nel caso di acerbo quasi sempre contiguo a dolce o a duro. A tali esiti di ricorsività, da cui è disceso il vulgato giudizio di aristocratica ristrettezza del vocabolario petrarchesco come «chiuso in un giro di ...
Leggi Tutto
ricorsivita
ricorsività s. f. [der. di ricorsivo]. – In matematica e in logica matematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, nell’ambito dei numeri naturali, di...
binormalita
binormalità s. f. [der. di binormale]. – Nella logica matematica, la condizione di ciò che è binormale, ed è una delle formulazioni equivalenti del concetto generale di ricorsività.