-
Notifications
You must be signed in to change notification settings - Fork 19
/
dispense.tex
132 lines (104 loc) · 4.08 KB
/
dispense.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
\documentclass[10pt,a4paper]{amsbook}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage[italian]{babel}
\usepackage{fontenc}
\usepackage[all]{xy}
\usepackage{graphicx}
\usepackage{prooftree}
\usepackage{hyperref}
\hypersetup{%
colorlinks=true, linktocpage=true, pdfstartpage=3, pdfstartview=FitV,%
breaklinks=true, pdfpagemode=UseNone, pageanchor=true,
pdfpagemode=UseOutlines, plainpages=false, bookmarksnumbered,
bookmarksopen=true, bookmarksopenlevel=1, hypertexnames=true,
pdfhighlight=/O,%hyperfootnotes=true,%nesting=true,%frenchlinks,%
%urlcolor=webbrown, linkcolor=RoyalBlue, citecolor=webgreen,
%pagecolor=RoyalBlue,%
% uncomment the following line if you want to have black links (e.g., for
% printing)
%urlcolor=Black, linkcolor=Black, citecolor=Black, pagecolor=Black,%
pdftitle={Dispense di Logica 2},%
pdfauthor={},%
pdfsubject={},%
pdfkeywords={},%
pdfcreator={pdfLaTeX},%
pdfproducer={LaTeX with hyperref and classicthesis}%
}
\usepackage{tikz}
\usetikzlibrary{shapes,arrows}
% Define block styles
\tikzstyle{decision} = [diamond, draw, fill=white,
text width=3.5em, text badly centered, node distance=2cm, inner sep=0pt]
\tikzstyle{block} = [rectangle, draw, fill=white,
text width=5em, text centered, minimum height=2em]
\tikzstyle{line} = [draw, -latex']
\tikzstyle{noblock}=[rectangle,
text width=5em, text centered, minimum height=2em]
\newcommand{\roundentry}[1]{*++[o][F-] {#1}}
\newtheorem{esempio}{Esempio}[chapter]
\newtheorem{oss}{Osservazione}[chapter]
\newtheorem{prop}{Proposizione}[chapter]
\newtheorem{defi}{Definizione}[chapter]
\newtheorem{lem}{Lemma}[chapter]
\newtheorem{thm}{Teorema}[chapter]
\newtheorem{extra}{Esercizio}
\newtheorem{nota}{Nota}
\newtheorem{programmi}{Definizione}[section]
\newtheorem{progabaco}[programmi]{Teorema}
\newtheorem{corol}{Corollario}[chapter]
\newenvironment{mylisting}
{\begin{list}{}{\setlength{\leftmargin}{1em}}\item\bfseries}
{\end{list}}
\newenvironment{mytinylisting}
{\begin{list}{}{\setlength{\leftmargin}{1em}}\item\tiny\bfseries}
{\end{list}}
\title{Dispense di Logica 2}
\author{}
\date{}
\begin{document}
\maketitle
\tableofcontents
\include{01_turing_registri}
\include{02_programmi_ricorsive}
\include{03_insiemi_re}
\include{04_ha}
\include{05_rappresentabilita}
\include{06_aritmetizzazione}
\include{07_logica_dimostrabilita}
\include{08_incompletezza_primo}
\include{09_incompletezza_secondo}
\include{10_conseguenze}
\begin{thebibliography} {}
\bibitem{Tur} \textsc{Turing}, \textsl{On computable numbers, with an
application to the entscheidungproblem}, 1936: abelard.org.
\bibitem{Stnfrd} \textsc{Online Stanford Enciclopedia}: plato.stanford.edu.
\bibitem{CompNr} \textsl{Computable Numbers and the Turing Machine}, 1936:
turing.org.uk.
\bibitem{WTM} \textsc{Jack Copeland}, \textsl{What is a Turing Machine?}, 2000:
alanturing.net.
\bibitem{Cut} \textsc{N. Cutland}, \textsl{Computability. An
Introduction to Recursive Function Theory}, 1980.
\bibitem{Dis} \textsc{Unipd}, \textsl{Dispense del corso di Logica 2},
2009.
\bibitem{Wik} \textsc{Wikipedia}, \url{http://en.wikipedia.org}.
\bibitem{TK} \textsc{G. Takeuti}, \textsl{Proof Theory}, 1987.
\bibitem{key-1}{[}Hilbert, 18.. D.HILBERT. Ricerche sui fondamenti
della matematica, a cura di V.Michele Abrusci, Bibliopolis, 1984.
\bibitem{key-4}{[}Sambin, 1987 G. SAMBIN. Alla ricerca della certezza
perduta.
\bibitem{key-5}{[}Cantini, 1979 A. CANTINI. I fondamenti della matematica,
Loescher, 1979.
\bibitem{key-8}{[}Hintikka, 19.. HINTIKKA. On Godel.
\bibitem{key-1}{[}Avigad, 2001 J.AVIGAD \& E.H.RECH. {}``Clarifyng
the nature of infinite'': the development of metamathematics and
proof theory.
\bibitem{key-1}{[}Zach, .... R.ZACH. Hilbert's program then and now.
\bibitem{Boolos} \textsc{G. Boolos}, \textsl{The Logic of Provability}, Cambridge University Press, 1993.
\bibitem{Visser} \textsc{A. Visser}, \textsl{Aspects of Diagonalization and Provability}, PhD thesis, Utrecht, 1981.
\end{thebibliography}
\end{document}