curry-howard

Slides of a (very) informal lecture of mine on the Curry-Howard correspondence

Commit
bf83f0cc399d06d28392ec263254b548e9b3b839
Parent
596f7cf48b1acaa1677bfff26c893eab465ba774
Author
Pablo <pablo-escobar@riseup.net>
Date

Simplified some slides

Diffstat

2 files changed, 5 insertions, 21 deletions

Status File Name N° Changes Insertions Deletions
Modified sections/curry.tex 9 2 7
Modified sections/numeric.tex 17 3 14 
diff --git a/sections/curry.tex b/sections/curry.tex
@@ -336,13 +336,8 @@
               Tensor Experiment}}
           \end{itemize}
 
-        \item<8-> Limitações
-          \begin{itemize}
-            \item<8-> Cadê a intuição?
-
-            \item<9-> \emph{Who watches the Watchmen?} 
-              \includegraphics[height=1em]{images/watchmen.eps}
-          \end{itemize}
+        \item<8-> \emph{Who watches the Watchmen?}
+          \includegraphics[height=1em]{images/watchmen.eps}
       \end{itemize}
     \end{column}
     \begin{column}[t]{.25\linewidth}

diff --git a/sections/numeric.tex b/sections/numeric.tex
@@ -60,8 +60,8 @@
       \pause
 
       \begin{theorem}[Conjectura de Kepler]
-        Nenhum arranjo de esferas em três dimensões tem uma densidade média maior
-        do que o arranjo cúbico.
+        Nenhum arranjo de esferas em três dimensões tem uma densidade média
+        maior do que o arranjo cúbico.
       \end{theorem}
 
       \begin{itemize}
@@ -69,18 +69,7 @@
           
           \pause
 
-        \item Limitações
-          \begin{itemize}
-            \item Pouco acessível
-              
-              \pause
-
-            \item E se tiver um bug no programa que eu escrevi?
-              
-              \pause
-
-            \item E se o número de casos não for finito?
-          \end{itemize}
+        \item E se o número de casos não for finito???
       \end{itemize}
     \end{column}
   \end{columns}