Contributi di Germanomosconi1
Utente con 437 modifiche. Utenza creata il 15 ago 2013.
5 ago 2023
- 16:2516:25, 5 ago 2023 diff cron −52 Turing riduzione →Collegamenti esterni
- 16:2416:24, 5 ago 2023 diff cron +61 N Discussione:Turing riduzione ←Nuova pagina: {{Tradotto da|en|Turing reduction|11 giugno 2023|1159565067}} attuale
- 16:2216:22, 5 ago 2023 diff cron −13 395 Utente:Germanomosconi1/Turing riduzione ←Pagina svuotata completamente attuale Etichetta: Svuotamento
- 16:2116:21, 5 ago 2023 diff cron +13 431 N Turing riduzione ←Nuova pagina: In teoria della computabilità, una '''Turing-riduzione''' da un problema decisionale <math>A</math> ad un problema decisionale <math>B</math> è una macchina oracolo che decide il problema <math>A</math> dato un oracolo per <math>B</math> (Rogers 1967, Soare 1987). Può essere inteso come un algoritmo che potrebbe essere utilizzato per risolvere <math>A</math> se avesse a sua disposizione una Funzione (informatica)|s...
- 16:1916:19, 5 ago 2023 diff cron +841 Utente:Germanomosconi1/Turing riduzione →Riduzioni più deboli
- 16:0516:05, 5 ago 2023 diff cron −834 Utente:Germanomosconi1/Turing riduzione Nessun oggetto della modifica Etichetta: Modifica visuale
- 15:5615:56, 5 ago 2023 diff cron +722 Utente:Germanomosconi1/Turing riduzione →Bibliografia
- 15:5415:54, 5 ago 2023 diff cron −17 Utente:Germanomosconi1/Turing riduzione Nessun oggetto della modifica
- 15:5115:51, 5 ago 2023 diff cron +60 Utente:Germanomosconi1/Turing riduzione Nessun oggetto della modifica Etichetta: Modifica visuale
- 15:4515:45, 5 ago 2023 diff cron +1 Utente:Germanomosconi1/Turing riduzione Nessun oggetto della modifica Etichetta: Modifica visuale
- 15:4515:45, 5 ago 2023 diff cron −25 Utente:Germanomosconi1/Turing riduzione Nessun oggetto della modifica
- 15:3915:39, 5 ago 2023 diff cron +12 647 N Utente:Germanomosconi1/Turing riduzione Creata dalla traduzione della pagina "Turing reduction" Etichette: TraduzioneContenuti TraduzioneContenuti2
- 14:4614:46, 5 ago 2023 diff cron +125 Utente:Germanomosconi1 Nessun oggetto della modifica attuale
2 ago 2023
1 ago 2023
- 23:1923:19, 1 ago 2023 diff cron +95 Predicato T di Kleene →Bibliografia
- 17:1317:13, 1 ago 2023 diff cron −10 Predicato T di Kleene Nessun oggetto della modifica
- 17:1117:11, 1 ago 2023 diff cron +152 Relazione ternaria Aggiunti collegamenti Etichetta: Modifica visuale
- 17:0417:04, 1 ago 2023 diff cron +36 Relazione ternaria Nessun oggetto della modifica
- 17:0317:03, 1 ago 2023 diff cron +4 Discussione:Relazione ternaria Nessun oggetto della modifica attuale
- 17:0217:02, 1 ago 2023 diff cron +60 N Discussione:Relazione ternaria ←Nuova pagina: {{Tradotto da|en|Ternary relation|5 giugno 2023|1046013468}}
- 16:5916:59, 1 ago 2023 diff cron −6 172 Utente:Germanomosconi1/Relazione ternaria ←Pagina svuotata completamente attuale Etichetta: Svuotamento
- 16:5816:58, 1 ago 2023 diff cron +6 172 N Relazione ternaria ←Nuova pagina: In matematica, una '''relazione ternaria''' o '''relazione triadica''' è una relazione in cui il numero di posti nella relazione è tre. Le relazioni ternarie possono anche essere indicate come '''3-adiche''', '''3-arie o''' '''3-dimensionali.''' Così come una relazione binaria è formalmente definita come un insieme di ''coppie'', cioè un sottoinsieme del prodotto cartesiano {{Tutto attaccato|''A'' × '...
- 16:5716:57, 1 ago 2023 diff cron +1 499 Utente:Germanomosconi1/Relazione ternaria →Bibliografia
- 16:5416:54, 1 ago 2023 diff cron +4 673 N Utente:Germanomosconi1/Relazione ternaria Creata dalla traduzione della pagina "Ternary relation" Etichette: TraduzioneContenuti TraduzioneContenuti2
- 09:4009:40, 1 ago 2023 diff cron +27 Stephen Kleene →Voci correlate Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 09:3909:39, 1 ago 2023 diff cron −1 Stephen Kleene →Biografia: Corretto errore di battitura Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 09:3609:36, 1 ago 2023 diff cron +27 Funzione ricorsiva →Voci correlate Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 09:3009:30, 1 ago 2023 diff cron −22 Dimostrazione originale del teorema di completezza di Gödel →Presupposti: Correzione collegamento Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 01:4601:46, 1 ago 2023 diff cron +46 m Predicato T di Kleene Nessun oggetto della modifica Etichetta: Modifica visuale
- 01:4001:40, 1 ago 2023 diff cron +64 N Discussione:Predicato T di Kleene ←Nuova pagina: {{Tradotto da|en|Kleene's T predicate|5 giugno 2023|1158657648}} attuale
- 01:3401:34, 1 ago 2023 diff cron +54 m Dimostrazione originale del teorema di completezza di Gödel Aggiunto collegamento Etichetta: Modifica visuale
- 01:3201:32, 1 ago 2023 diff cron −8 712 Utente:Germanomosconi1/Predicato T di Kleene ←Pagina svuotata completamente attuale Etichetta: Svuotamento
- 01:3201:32, 1 ago 2023 diff cron +8 712 N Predicato T di Kleene ←Nuova pagina: In teoria della computabilità, il '''predicato T''', studiato per la prima volta dal matematico Stephen Cole Kleene, è una particolare relazione ternaria sui numeri naturali, che viene utilizzata per rappresentare funzioni calcolabili all'interno delle teorie formali dell'aritmetica. Intuitivamente, il predicato ''T'' dice se un particolare P... Etichetta: Modifica visuale: commutato
- 01:2901:29, 1 ago 2023 diff cron −10 Utente:Germanomosconi1/Predicato T di Kleene →Definizione Etichetta: Modifica visuale
- 01:2301:23, 1 ago 2023 diff cron −52 Utente:Germanomosconi1/Predicato T di Kleene →Bibliografia
- 01:2301:23, 1 ago 2023 diff cron +46 Utente:Germanomosconi1/Predicato T di Kleene →Bibliografia
- 01:2201:22, 1 ago 2023 diff cron +291 Utente:Germanomosconi1/Predicato T di Kleene →Bibliografia
- 01:1701:17, 1 ago 2023 diff cron −17 Utente:Germanomosconi1/Predicato T di Kleene →Bibliografia
- 01:1701:17, 1 ago 2023 diff cron +8 454 N Utente:Germanomosconi1/Predicato T di Kleene Creata dalla traduzione della pagina "Kleene's T predicate" Etichette: TraduzioneContenuti TraduzioneContenuti2
- 01:1001:10, 1 ago 2023 diff cron +19 Dimostrazione originale del teorema di completezza di Gödel Aggiunta nota
- 01:0801:08, 1 ago 2023 diff cron +54 Dimostrazione originale del teorema di completezza di Gödel Correzione note
24 lug 2023
- 18:2818:28, 24 lug 2023 diff cron +29 Dimostrazione originale del teorema di completezza di Gödel →Dimostrazione del teorema per enunciati di grado 1: Aggiornamento notazione Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 18:2218:22, 24 lug 2023 diff cron +70 Dimostrazione originale del teorema di completezza di Gödel →Dimostrazione del teorema per enunciati di grado 1: Aggiornamento notazione Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 18:0018:00, 24 lug 2023 diff cron +4 Dimostrazione originale del teorema di completezza di Gödel →Dimostrazione del teorema per enunciati di grado 1: Modifica minore Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 10:3010:30, 24 lug 2023 diff cron −111 Dimostrazione originale del teorema di completezza di Gödel Miglioramento dell'esposizione Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 10:0010:00, 24 lug 2023 diff cron −2 Dimostrazione originale del teorema di completezza di Gödel →Dimostrazione del teorema per enunciati di grado 1 Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 09:3409:34, 24 lug 2023 diff cron −32 Dimostrazione originale del teorema di completezza di Gödel Annullata la modifica 134605964 di Germanomosconi1 (discussione) Etichette: Annulla Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 03:4103:41, 24 lug 2023 diff cron +32 Dimostrazione originale del teorema di completezza di Gödel →Dimostrazione del teorema per enunciati di grado 1 Etichetta: Modifica visuale
- 02:5602:56, 24 lug 2023 diff cron −337 Dimostrazione originale del teorema di completezza di Gödel →Dimostrazione del teorema per enunciati di grado 1 Etichetta: Modifica visuale
23 lug 2023
- 19:2919:29, 23 lug 2023 diff cron +153 Dimostrazione originale del teorema di completezza di Gödel Nessun oggetto della modifica Etichetta: Modifica visuale: commutato