RANDOMNESS

Mercoledi, 23 Novembre 2011, 12:49
presso questo indirizzo si possono trovare alcuni lavori di M. van Lambalgen http://www.google.com/search?hl=it&&sa=X&ei=v5N3TJGCM4_QjAehueGeDg&ved=0CCIQBSgA&q=van+lambalgen&spell=1

presso questo indirizzo si possono trovare i lavori di R. Downey, compresa la bozza di un manuale http://homepages.mcs.vuw.ac.nz/~downey/

presso questo indirizzo si possono scaricare alcuni lavori e dispense di S. Terwijn http://www.math.ru.nl/~terwijn/publications.html

presso questo sito si possono trovare surveys, articoli e dispense: http://www.hutter1.net/ait.htm

presso questo sito si possono trovare i lavori e le dispense di Peter Cholak: http://nd.edu/~cholak/papers/vitae.html

altra collezione di articoli: http://coitweb.uncc.edu/~yonwang/omega/papers.html
Questa è la home page di André Nies: http://www.cs.auckland.ac.nz/~nies/ e http://dl.dropbox.com/u/370127/homepage/onlinepapers.html

Teorie del Caos e computabilità sui reali

Lunedi, 06 Giugno 2011, 09:59
Smale Horseshoe, real computability, deterministic chaos
holmes-chaos-poincaré, holmescaos.pdf
Feferman-computing over reals, feferman_CompOverReals.pdf
BSS-machine, BLUMSHUBSMALE.pdf
wiggins-chaos, Wiggins_CHAOS.pdf
smale-blum-Goedel, SMALEBLUMDECIDABILITYGOEDEL.pdf
chaos, caos4.zip

Pagina dedicata a Kurt Goedel (work in progress)

Sabato, 21 Marzo 2009, 10:30
Articoli sui teoremi di incompletezza, sulla teoria degli insiemi e sulla filosofia della matematica di Kurt Goedel.
J. Floyd, A. Kanamori, How Goedel transformed Set Theory, fea_kanamori.pdf
G. CHAITIN, "Incompleteness Theorem for Random Reals", incompletenrandomreals.pdf
C. Calude, M. Stay, "From Heisenberg to Goedel, via Chaitin", caludestay.pdf
S. Feferman, "Are there absolutely unsolvable problems? Goedel's dichotomy", dichotomyfeferman.pdf
J. Bell, "Time and causation in Goedel's universe", Timebell.pdf
H. Wang, "Skolem and Goedel", skogod.pdf
M. DAVIS, "The incompleteness theorem" (Notice AMS), incompletenessdavis.pdf
G. LONGO, "Incompletezza" (dal sito dell'autore http://www.di.ens.fr/~longo/download.html), IncompletezzaLongo.pdf
R. M. Solovay, A version of Omega for which ZFC cannot predict a single bit, solvayomega.pdf
J. Webb, Goedel's encounters with formalism, intuition and Kant, webb.pdf
B. Cooper, "Beyond Goedel's Theorem: the failure to capture information contents", haifacooper.ps
L. Blum, S. Smale, "Goedel Incompleteness Theorem and decidability over a Ring", SMALEBLUMDECIDABILITYGOEDEL.pdf
J. Y. GIRARD, "Kurt Goedel", Godel1girard.pdf
articoli su Goedel, goedel.zip
Torkel Franzen, The Popular Impact of Goedel's incompleteness theorem, franzen.doc
W. Sieg, Goedel on Computability, goedelComputability.pdf
S. Feferman, The nature and signifiance of Goedel's incompleteness theorems, Godel_IAS.pdf
G. Chaitin, Gödel's Theorem and Information, G_delchaitin.doc
P. RAATIKAINEN, On the philosophical relevance of Goedel's Incompleteness Theorem, Godel_raatika.DOC

Teoria degli Insiemi

Mercoledi, 16 Aprile 2008, 16:23
articoli su teoria degli insiemi, ipotesi del continuo e assioma di scelta.
Forcing e teoria descrittiva degli insiemi, forcing_e_scale.zip
ipotesi del continuo, continuo.zip
Teoria degli insiemi e ipotesi del continuo, setheory2.zip
Gaps, Hausdorff e Ipotesi del continuo, gapscontinuum.zip

Ricorsività, Complessità computazionale

Venerdi, 20 Ottobre 2006, 10:53
Raccolta di articoli su Complessità Computazionale e Ricorsività
Complessità di Kolmogorov e di Chaitin, kolmogorovchaitin.zip
Computabilità, complessità, compless1.zip
Ricorsività, complessità, compless1.zip
Ricorsività, complessità, compless2.zip
Complessità di Kolmogorov, shen_kolmog_nc.ps

Quantum computing

Venerdi, 06 Ottobre 2006, 16:23
articoli quantum computing 1, quantumcomputing.zip
articoli quantum computing 2, quantumcomput1.zip

Teoria della Dimostrazione, Dimostrabilità, Interpretabilità

Mercoledi, 10 Maggio 2006, 13:59
Sto archiviando qui una vasta collezione di articoli relativi a diversi aspetti della Teoria della Dimostrazione.Alla voce "Testi" sono archiviati lavori monografici.
Categorical Logic, Normalizzazione e categorie, Teordim6.zip
Logica della Dimostrabilità, Interpretabilità Relativa, DimInterpret.zip
Dimostrabilità, provab1.zip
Logica della Dimostrabilità, Interpretabilità Relativa, provab.zip
Teoria della dimostrazione, k-dimostrabilità, dim.zip
Complessità dei sistemi formali, realizzabilità, intuizionismo, Teordim5.zip
Curry-Howard, Normalizzazione, Logiche Sottostrutturali, Polivalenza, Teordim4.zip
Sequenti, Analiticità, Regole ammissibili, Teordim3.zip
Deduzione Naturale, Sequenti, Tipi, Risoluzione,Tableaux, Teordim1.zip
Normalizzazione, Normalizzazione forte, Cut-elimination, Teordim2.zip
Tableaux, tableaux.zip
Normalizzazione forte, normalizzforte.zip

Completezza, Incompletezza, fondamenti.

Sabato, 29 Gennaio 2005, 12:32
Contiene alcuni articoli di carattere storico-filosofico sul tema classico dei Fondamenti della Matematica, sul tema dell'incompletezza, della completezza e della completezza funzionale.
Completezza, incompletezza, Incomp.zip
Filosofia della Matematica, filosofmatem2.zip
Opere di Poincaré, poincar_.zip
T. FRANZEN, Transfinite progressions: a second look to completeness, tfranzenprogessions

Logiche non-monotone, Induzione, Abduzione

Giovedi, 27 Gennaio 2005, 14:28
Collezione di articoli
Induzione, abduzione, Nonmonot.zip
Logiche non monotone, abduzione, Nonmon1.zip
Logiche non monotone, Logic Programming, abduz.zip
Logiche non monotone, abduzione, Abduz1.zip
Logiche non monotone, nonmon.zip

Logiche polivalenti, Logiche non classiche, Fuzzy logic

Giovedi, 27 Gennaio 2005, 11:44
Collezione di articoli; rinviamo alla pagina web di P.Hajek per "tutorials" sulle fuzzy logics.
Calcoli a ipersequenti, tutorial BL, logiche paraconsistenti, manyvalued3.zip
Logiche polivalenti, logica fuzzy, PolivFuzzy.zip
Teoria della Dimostrazione e Logiche Polivalenti, polivFuzzy1.zip
Logiche non classiche e sottostrutturali, nonclassic.zip
Logiche non classiche e sottostrutturali, substruct.zip
Logica intuizionista, logiche sottostrutturali, nonclass.zip
Gioco di Ulam, ulam1.zip

Categorie, Modelli, Insiemi

Mercoledi, 19 Gennaio 2005, 12:35
Qui ho iniziato a raccogliere articoli concernenti aspetti della Teoria dei Modelli, della Teoria degli insiemi e della Teoria delle categorie.
Assiomi di Antifondazione, "New Foundations", AntifondazNewFound1.zip
Modelli, Insiemi, ModelliInsiemi_.zip
Modelli, insiemi, ModelliInsiemi1.zip
Categorie, Algebra Universale, CategorAlgebra.zip
Categorie *-autonome, Categorie.zip
Assioma di Scelta e conseguenze, Scelta.zip
Assiomi di Antifondazione, "New Foundations", Antifondazione__New_Foundations.zip
Antifondazione, New Foundations, varie, Set1.zip
Teoria dei Tipi di Russell, New Foundations, varia, Set2.zip
Stabilità, Saturazione, Saturazione__Stabilit_.zip
Modelli non-standard per l'Aritmetica, Frammenti dell'aritmetica, modelliarit.zip
Category, barrwellscategory.pdf

Lambda Calcolo

Martedi, 18 Gennaio 2005, 16:54
Collezione di articoli sul lambda calcolo e sul lambda calcolo tipato; vedere alla sezione "Testi" per una monografia sull'argomento.
Lambda-mu calcolo, lambdamuparigot.zip
Type theory, New Foundations, typetheorynewfound.zip
Domains, Graph Rewriting, Categorical Models, Lambda2.zip
Explicit substitution, Polimorfisfmo, complessità, Lambda1.zip
Typing: Curry e Church, LAMBDACURRYCHURCH.zip
Estensioni del Lambda Calcolo tipato semplice, complessità, Curry-Howard e logica classica, lambdatype.zip

Logica lineare

Martedi, 18 Gennaio 2005, 12:21
Raccolta di articoli. Alla voce "Testi" del Blog, si possono trovare delle monografie
Focalizzazione, Cut-elimination, Game-semantic, LLineare2.zip
Cut -elimination, Game -semantic, Semantica Categoriale, LLineare1.zip
Proof Nets, PROOFNETS.zip
Decision Problem, LL-non commutativa, LL-intuizionista, introduzioni generali, LLineare5.zip
Quantali, Reti di Prova, Ludics, Curry-Howard, LLineare4.zip
Lambek Calculus, lambeklinear.zip
Ludics, Geometria dell'interazione, Decision Problem, LL non commutativa, LLogic3.zip
© 2005 Università degli Studi di Siena, Centro Servizi della Facoltà di Lettere e Filosofia - Laboratorio di Informatica