Skip to content

Commit

Permalink
Turing and Godel updates
Browse files Browse the repository at this point in the history
  • Loading branch information
cunhapaulo committed Jun 24, 2023
1 parent ee494f9 commit c59e1ab
Show file tree
Hide file tree
Showing 7 changed files with 615 additions and 55 deletions.
11 changes: 2 additions & 9 deletions examples/example-godel.md
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,6 @@ theme : godel
<!-- _class: titlepage -->

![bg left:33%](https://upload.wikimedia.org/wikipedia/commons/9/9e/Young_Kurt_G%C3%B6del_as_a_student_in_1925.jpg)
<!-- ![bg left:33% h:100%](https://www.macworld.com/wp-content/uploads/2021/10/steve-jobs-2-1.jpg?quality=50&strip=all) -->

<div class="title" > Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme </div>
<div class="subtitle" > On Formally Undecidable Propositions </div>
Expand Down Expand Up @@ -287,10 +286,7 @@ The book was originally entitled "Phänomenologie des Geistes" by its author, G.
Transition Slide 2<br> _Aditional_ **Text**

---
<!--
############################### [ SECTION ] ####################################
-->


<!-- _class: biblio -->

![bg left:33% opacity:20% blur:8px](https://images.unsplash.com/photo-1524995997946-a1c2e315a42f?ixlib=rb-1.2.1&ixid=MnwxMjA3fDB8MHxwaG90by1wYWdlfHx8fGVufDB8fHx8&auto=format&fit=crop&w=870&q=80)
Expand All @@ -305,10 +301,7 @@ The book was originally entitled "Phänomenologie des Geistes" by its author, G.
4. HEGEL, Georg Friederich Wilhelm. **Hegel´s Phenomenology of Spirit**. Tradução: A. V. Miller. New York: Oxford University Press, 2004.

---
<!--
############################### [ SECTION ] ####################################
-->


<!-- _class: biblio -->

# References
Expand Down
Binary file modified examples/example-godel.pdf
Binary file not shown.
553 changes: 553 additions & 0 deletions examples/example-turing.html

Large diffs are not rendered by default.

15 changes: 0 additions & 15 deletions examples/example-turing.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,12 +32,9 @@ theme: turing
</style>

<!-- _class: titlepage -->
<!-- ![bg left:33%](https://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/Alan_Turing_Aged_16.jpg/200px-Alan_Turing_Aged_16.jpg) -->

![bg left:33% grayscale:1 brightness:1.1](https://www.thesun.co.uk/wp-content/uploads/2019/07/NINTCHDBPICT000491505127.jpg)

<!-- ![bg left:33% h:100%](https://www.macworld.com/wp-content/uploads/2021/10/steve-jobs-2-1.jpg?quality=50&strip=all) -->

<div class="title" > Computing Machinery and Intelligence </div>
<div class="subtitle" > Can machines think? </div>
<div class="author" > Alan Mathison Turing </div>
Expand All @@ -49,13 +46,9 @@ theme: turing
<!-- _class: titlepage -->

# Computing Machinery and Intelligence

## Can machines think?

### Alan Mathison Turing

#### Mind, , 1950

##### Oxford University - Oxfordshire, UK.

---
Expand Down Expand Up @@ -301,10 +294,6 @@ The book was originally entitled "Phänomenologie des Geistes" by its author, G.

---

<!--
############################### [ SECTION ] ####################################
-->

<!-- _class: biblio -->

![bg left:25% opacity:70% blur:1px](https://images.unsplash.com/photo-1524995997946-a1c2e315a42f?ixlib=rb-1.2.1&ixid=MnwxMjA3fDB8MHxwaG90by1wYWdlfHx8fGVufDB8fHx8&auto=format&fit=crop&w=870&q=80)
Expand All @@ -320,10 +309,6 @@ The book was originally entitled "Phänomenologie des Geistes" by its author, G.

---

<!--
############################### [ SECTION ] ####################################
-->

<!-- _class: biblio -->

# References
Expand Down
Binary file modified examples/example-turing.pdf
Binary file not shown.
27 changes: 24 additions & 3 deletions style/godel.css
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
============================================
Created by Paulo Cunha
version: 1.0
last update: 21.mar.2023
last update: 24.mar.2023
============================================
*/

Expand All @@ -19,7 +19,8 @@
@import url('https://fonts.cdnfonts.com/css/fira-sans-condensed?styles=19730');


/***************** COMMON STRUCTURE **********************/
/* -------------------- ROOT -------------------------------*/


:root {

Expand Down Expand Up @@ -58,12 +59,13 @@ section strong {
color:rgba(5, 51, 255, 0.534) ;
color:rgba(5, 43, 255, 0.979) ;
color:rgb(211, 43, 80) ;

padding-left: 2px;
padding-right: 2px;
font-weight: 600;
}

/* -------------------- TRANSITION -------------------------------*/

section.transition em {

Expand All @@ -85,6 +87,7 @@ section.transition {

}

/* -------------------- TRANSITION2 -------------------------------*/

section.transition2 strong {

Expand All @@ -93,3 +96,21 @@ section.transition2 strong {

}

/* -------------------- BIBLIO -------------------------------*/

section.biblio {

/* font-family: "Fira Sans", serif; */


--text-color : rgb(253, 252, 252);
--biblio-background-color : rgb(0, 0, 0);
--border-color : darkorange;
--bold-color : orange;
}

section.biblio p {

font-family: "Fira Sans", serif;

}
64 changes: 36 additions & 28 deletions style/turing.css
Original file line number Diff line number Diff line change
Expand Up @@ -115,14 +115,14 @@

/* Titlepage made with <titlepage> */

section.titlepage .title strong {
color: rgb(255, 52, 52);
}

section.titlepage .title {
/* border-bottom: 1px solid rgb(179, 176, 176); */
border-bottom: 1px solid rgb(29, 107, 209);
letter-spacing: -0.23px;
letter-spacing: -0.6px;
}

section.titlepage .title strong {
color: rgb(255, 52, 52);
}

section.titlepage .subtitle {
Expand All @@ -149,63 +149,71 @@ section.titlepage h1 {

margin-left: 0pt;
margin-right: 0pt;

letter-spacing: -0.6px;

}

section.titlepage h2 {
font-weight: 300;
}



/* -------------------- TRANSITION ---------------------------------*/
section.transition {

--transitionpage-color: #c98833;

font-weight: 600;

background-color: rgb(255, 82, 2) !important;
font-weight: 500;
/* font-size: 200%; */
color: white;
/* text-shadow: 0px 2px 0 rgb(34, 49, 65); */

/* text-shadow: 0px 2px 0 rgb(22, 24, 26); */
}

section.transition strong {

color: rgb(238, 234, 5);
font-weight: 600;
font-weight: 900;
color: rgb(10, 100, 235);
color: rgb(172, 255, 7);

}

section.transition em {

/* color: rgb(10, 100, 235); */
color: rgb(0, 0, 0);
font-weight: 600;
background-color: rgb(255, 118, 5);
color: rgb(230, 226, 226);
background-color: rgba(201, 199, 197, 0.493) !important;
/* text-shadow: 1px 0px 0 rgb(8, 8, 8); */


}

/* -------------------- TRANSITION2 ---------------------------------*/
section.transition2 {
section.transition {

background-color: rgb(121, 148, 199) !important;

font-weight: 900;
--transitionpage-color: #417dad;
--transitionpage-color: #4594b9;

color: white;
font-weight: 700;
/* font-size: 200%; */
text-shadow: 0px 2px 0 rgb(34, 49, 65);

/* text-shadow: 0px 2px 0 rgb(22, 24, 26); */
}

section.transition2 strong {

font-weight: 900;
color: rgb(10, 100, 235);
color: rgb(172, 255, 7);

color: rgb(238, 234, 5);
font-weight: 700;
}

section.transition2 em {

color: rgb(255, 255, 255);
font-weight: 700;
/* background-color: initial; */
background-color: rgba(207, 207, 206, 0.397) !important;
/* text-shadow: 1px 0px 0 rgb(34, 49, 65); */

color: black;
background-color: rgba(255, 5, 5, 0.295);

}

Expand Down

0 comments on commit c59e1ab

Please sign in to comment.