Nel 1928, il matematico ungherese John von Neumann pubblicò sulla rivista Mathematische Annalen un articolo destinato a fondare un’intera disciplina scientifica: “Zur Theorie der Gesellschaftsspiele” (“Sulla teoria dei giochi di società”). In sole poche decine…
Read More
Nel 1936, un matematico di Cambridge di 24 anni di nome Alan Turing pubblicò un articolo che avrebbe posto le fondamenta teoriche dell’intero campo dell’informatica, anni prima che venisse costruito un computer general-purpose. Intitolato “Sui…
Nel 1931 il logico austriaco Kurt Gödel pubblicò un risultato che avrebbe scosso i fondamenti della matematica: i teoremi di incompletezza. Fino ad allora, matematici come David Hilbert nutrivano la speranza di costruire un sistema…
Definizione generale. Le funzioni ricorsive primitive sono una classe di funzioni matematiche definite su numeri naturali (ℕ → ℕ, o più generalmente ℕⁿ → ℕ) costruite a partire da un insieme minimo di funzioni di…
Che cos’è la logica del primo ordine? La logica del primo ordine (o logica dei predicati del primo ordine, LPO) è un sistema formale che estende la logica proposizionale introducendo: quantificatori: universale (∀, “per ogni”)…
<?php // 1. CONNESSIONE (Sempre uguale) $host = ‘localhost’; $db = ‘nome_db’; $user = ‘root’; $pass = ”; try { $pdo = new PDO(“mysql:host=$host;dbname=$db;charset=utf8”, $user, $pass); $pdo->setAttribute(PDO::ATTR_ERRMODE, PDO::ERRMODE_EXCEPTION); $pdo->setAttribute(PDO::ATTR_DEFAULT_FETCH_MODE, PDO::FETCH_ASSOC); } catch…
Il documento presenta una relazione tecnica relativa alla progettazione e implementazione di un’applicazione web per la gestione domestica delle scorte alimentari, denominata “La mia Dispensa”. Il lavoro nasce da una richiesta specifica del committente: realizzare…
Di seguito potete scaricare una recensione critica che include anche un confronto tra H.L.A. Hart, John Rawls e Robert Alexy. Recensione_dworkin_universitariaDownload
