Königsberg, 5–7 September, 1930
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme
On Formally Undecidable Propositions
Kurt Gödel
Königsberg, 5–7 September, 1930
Second Conference on the Epistemology of the Exact Sciences
Königsberg, 5–7 September, 1930

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme

On Formally Undecidable Propositions

Königsberg, 5–7 September, 1930
  1. Title
  2. Transition Slide
  3. Normal Slide
  4. Headers
  5. Images
  6. Animations and Videos
  7. Lists
  8. Tables
  9. Mathematics in LaTeX
  10. Code
  11. Quotes
  12. Callouts
  13. References, Appendix & Credits
Königsberg, 5–7 September, 1930

Transition Slide

Aditional Text about what´s ahead

Königsberg, 5–7 September, 1930

Is Algebraic Graph Knowledge a Possibility?

Research has been conducted in order to evaluate the possibility of reaching meaningful knowledge from Algebraic Graph transformations.

  • Model Cheking and theorem prooving are viable paths.

When the neet to make strong assertions becomes inevitable:

  • This is the first way: outstanding assertion!
* Note: This is a very long footnote line intended to test the layout of two.
Königsberg, 5–7 September, 1930

H1 - H1 level of header

H2 - H2 level of header

H3 - H3 level of header

H4 - H4 level of header

H5 - H5 level of header
H6 - H6 level of header
  • This is a fragment o normal text written here in order to exemplify the use of several featrues in CSS.

  • This is a fragment o normal text written here in order to exemplify the use of several featrues in CSS.

    • This is one bold comment.
    • This is another italic comment.
Königsberg, 5–7 September, 1930

Images

Königsberg, 5–7 September, 1930

One image slide

center

Object defined in terms of spherical coordinates.
Königsberg, 5–7 September, 1930

Images fit into columns

Sophokles, Suhrkamp (2015).

Göthe, Suhrkamp (2011).

Heine, Suhrkamp (2011).
Königsberg, 5–7 September, 1930

Image and text on the same slide (1)

center

Phänomenologie des Geistes Oxford edition.

Hegels Phänomenologie

Das Buch trug ursprünglich den Titel "Phänomenologie des Geistes" von seinem Autor: G.W.F. Hegel.

  • Das 1807 veröffentlichte Werk markiert eine bedeutende Entwicklung des deutschen Idealismus nach Kant.
  • In diesem Buch entwickelt Hegel seine Konzepte der Dialektik.

Price at Amazon used to be $ 17.83.

Königsberg, 5–7 September, 1930

Image and text on the same slide (2)

Kant, Leibniz & Newton

Philosophy and the sciences were closely linked in the age of Leibniz, Newton, and Kant.

This addresses the transformations of metaphysics as a discipline, the emergence of analytical mechanics, the diverging avenues of 18th-century Newtonianism, the body-mind problem, and philosophical principles of classification in the life sciences.

Price at Amazon used to be 128,39 €

center

Springer edition (2023).
Königsberg, 5–7 September, 1930

Multi-images Environment (1)


Math001.


Math002.


Math003.


Math004.


Math005.

Königsberg, 5–7 September, 1930

Multi-images Environment (2)


Math001.


Math002.


Math003.


Math004.


Math005.

Königsberg, 5–7 September, 1930

Figures and caption in multicolumn


God Zeus


Afrodite


Dionísio


Era

Königsberg, 5–7 September, 1930

Animations

Usually works in html only...

Königsberg, 5–7 September, 1930

Animations  (works in HTML only)

Static picture.
Animation 02.
Königsberg, 5–7 September, 1930

Video

Video playing in Marp available only in html export.
Königsberg, 5–7 September, 1930

Lists

Ordered and unordered

Königsberg, 5–7 September, 1930

Ordered and unordered lists

  1. First object in list;
  2. Second object in list;
  3. Third object in list;
    1. First objetc in sublist;
    2. Second object in sublist;
      1. Another level;
      2. Yet another item.
    3. Third object in sublist.
  4. Fourth object in List.
  • First object in list;
  • Second object in list;
  • Third object in list;
    • First objetc in sublist;
    • Second object in sublist;
      • Another level;
      • Yet another item.
    • Third object in sublist;
  • Fourth object in List;
Königsberg, 5–7 September, 1930

Tables

Organizing data with tables in Markdown

Königsberg, 5–7 September, 1930

Renaissance painters

Painter Country Birth Year Death Year Most Famous Work
Albrecht Dürer Germany 1471 1528 Melencolia I
Leonardo da Vinci Italy 1452 1519 Mona Lisa
Michelangelo Italy 1475 1564 Sistine Chapel Ceiling
Raphael Italy 1483 1520 The School of Athens
Titian Italy ~1488 1576 Assumption of the Virgin

Renowned Renaissance painters with biographical data and masterpieces (alphabetical order).

Königsberg, 5–7 September, 1930

Programming languages

Language Creator(s) Year Main Paradigm(s)
C Dennis Ritchie 1972 Structured, Procedural
C++ Bjarne Stroustrup 1983 Object-oriented, multi-paradigm
Erlang Joe Armstrong 1986 Funcional, Concorrente
Haskell Comitê Haskell 1990 Purely Functional
Java James Gosling 1995 Object-Oriented
Pascal Niklaus Wirth 1970 Structured, Procedural
Python Guido van Rossum 1991 Multi-paradigm (OO, Procedural, Functional)

List of programming languages.

Königsberg, 5–7 September, 1930

Mathematical Formulations

Writing equations with LaTeX

Königsberg, 5–7 September, 1930

Probability Distribution (1)

Normal Distribution (Gaussian).

Multivariate Normal Distribution.
Königsberg, 5–7 September, 1930

Probability Distribution (2)

Fisher-Snedecor F distribution.

Multivariate Normal Distribution.
Königsberg, 5–7 September, 1930

Electromagnetic Field (Differential form)

Below, in modern vector notation, in differential form, are Maxwell's four equations governing the electromagnetic field.

Königsberg, 5–7 September, 1930

Electromagnetic Field (Integral form)

Below, in modern vector notation, in integral form, are Maxwell's four equations governing the electromagnetic field.

Königsberg, 5–7 September, 1930

Code

Computer programs source code

Königsberg, 5–7 September, 1930

Python programs

"""
O programa traça, em 2D, os perfis instantâneos do
campo elétrico E (y) e do campo magnético B (z),
ambos perpendiculares ao eixo de propagação x.
"""
import numpy as np
import matplotlib.pyplot as plt

# Constantes e parâmetros
c = 3e8
E0 = 1.0
lambda_ = 1.0
k = 2 * np.pi / lambda_
omega = 2 * np.pi * c / lambda_
x = np.linspace(0, 2 * lambda_, 1000)
t = 0
E = E0 * np.sin(k * x - omega * t)
B = (E0 / c) * np.sin(k * x - omega * t)
B_scaled = c * B  # para visualização

plt.plot(x, E, label='E(x, t=0)')
plt.plot(x, B_scaled, label='c·B(x, t=0)')
plt.xlabel('x (m)')
plt.ylabel('Amplitude (u.a.)')
plt.title('Propagação de onda eletromagnética no vácuo (instantâneo)')
plt.legend()
plt.grid(True)
plt.show()
First program.
import numpy as np
import matplotlib.pyplot as plt
from mpl_toolkits.mplot3d import Axes3D   # registra o proj. 3-D

# --------------------- parâmetros físicos ----------------------
c   = 3.0e8                      # velocidade da luz (m s⁻¹)
E0  = 1.0                        # amplitude arbitrária do campo elétrico (V m⁻¹)
lam = 1.0                        # comprimento de onda (m)
k = 2*np.pi/lam                  # número de onda
ω = 2*np.pi*c/lam                # frequência angular
# domínios espacial e temporal
x = np.linspace(0, 2*lam, 1000)  # duas ondas completas
t = 0.0                          # instante “congelado”
# --------------------- campos E e B ----------------------------
E =  E0 * np.sin(k*x - ω*t)      # componente em y
B = (E0/c) * np.sin(k*x - ω*t)   # componente em z (antes do escalonamento)
B_plot = c * B                   # escala-se por c para comparar a E
# --------------------- figura 3-D ------------------------------
fig = plt.figure(figsize=(8, 4))
ax  = fig.add_subplot(111, projection='3d')

# linha do campo elétrico: (x, E, 0)
ax.plot(x, E, np.zeros_like(x), label='E(x, t=0)')
# linha do campo magnético escalonado: (x, 0, c B)
ax.plot(x, np.zeros_like(x), B_plot, label='c·B(x, t=0)')
# rótulos e estética
ax.set_xlabel('x (m)')
ax.set_ylabel('E (V/m)')
ax.set_zlabel('c·B (V/m)')
ax.set_title('Propagação de uma onda eletromagnética no vácuo (instantâneo 3-D)')
ax.legend()
plt.tight_layout()
plt.show()
Second program.
Königsberg, 5–7 September, 1930

Electromagnetic wave propagation (1)

center

Result of the 3D rendering of the program electromag-plot01.py.
Königsberg, 5–7 September, 1930

Electromagnetic wave propagation (2)

center

3D animation of an electromagnetic wave propagation.
Königsberg, 5–7 September, 1930

Quotes

Special text deserves special space

Königsberg, 5–7 September, 1930

"There is an increasing demand of current information systems to incorporate the use of a higher degree of formalism in the development process. Formal Methods consist of a set of tools and techniques based on mathematical model and formal logic that are used to specify and verify requirements and designs for hardware and software systems."

Königsberg, 5–7 September, 1930

"There is an increasing demand of current information systems to incorporate the use of a higher degree of formalism in the development process. Formal Methods consist of a set of tools and techniques based on mathematical model and formal logic that are used to specify and verify requirements and designs for hardware and software systems."

Königsberg, 5–7 September, 1930

Callouts

Königsberg, 5–7 September, 1930

Callouts

Info

Text for information with
Markdown formatting.

<div class="callout">

# Info

Text for information with <br> **Markdown** formatting.

</div>

Danger

Another text with
Markdown formatting.

<div class="callout danger">

# Danger

Another text with <br> **Markdown** formatting.

</div>
Königsberg, 5–7 September, 1930

Callouts types

Success

You may use in semantics.

Abstract

You may use in semantics.

Tip

You may use in semantics.

ToDo

You may use in semantics.

Note

You may use in semantics.

Example

You may use in semantics.

Quote

You may use in semantics.

Question

You may use in semantics.

Warning

You may use in semantics.

Failure

You may use in semantics.

Danger

You may use in semantics.

Bug

You may use in semantics.

Königsberg, 5–7 September, 1930

Appendix

Bibliography, References, Appendix. etc.

Königsberg, 5–7 September, 1930

Appendix 1 - Special Sections (1)

CSS Section Description/Purpose Markdown Class (example)
section.title Title slide <!-- _class: title -->
section.title-bg Title slide with background <!-- _class: title-bg -->
section.chapter Chapter slide <!-- _class: chapter -->
section.chapter-alt Alternative chapter <!-- _class: chapter-alt -->
section.agenda Agenda/content slide <!-- _class: agenda -->
section.end Thank you slide <!-- _class: end -->
section.end-bg Thank you with background <!-- _class: end-bg -->
section.copyright Copyright slide <!-- _class: copyright -->
section.logos Slide with additional logos <!-- _class: logos -->

List of tags used (1).

Königsberg, 5–7 September, 1930

Appendix 1 - Special Sections (2)

CSS Section Description/Purpose Markdown Class (example)
section.blank Blank slide <!-- _class: blank -->
section.nobrand Slide without branding <!-- _class: nobrand -->
section.multicolumn Slide with multiple columns <!-- _class: multicolumn -->
section.multicolumn vcenter Vertically centered IN multiple columns <!-- _class: multicolumn vcenter -->
section.grid-tlr Grid: top, left, right <!-- _class: grid-tlr -->
section.grid-lrb Grid: left, right, bottom <!-- _class: grid-lrb -->
section.quote Quote slide (unified quote) <!-- _class: quote -->
section.quote.dark Alternative quote (formerly quote2) <!-- _class: quote dark -->
section.references References/bibliography slide <!-- _class: references -->

List of tags used (2).

Königsberg, 5–7 September, 1930

References

  1. AMERIKS, Karl; HÖFFE, Otfried. Kant’s Moral and Legal Philosophy. tradução: Nicholas Walker. Cambridge, Massachusetts: Cambridge University Press, 2009-. ISSN 1878-6847.(The German Philosophical Tradition).
  2. ARISTOTELES. Nikomachische Ethik. Berlin: Akademie Verlag, 2010. (Klassiker Auslegen).v. 2
  3. CASSIRER, Ernst. The Myth of the State. New Haven, USA: Yale University Press, 1946.
  4. EPSTEIN, Richard L.; CARNIELLI, Walter A. Computability: Computable Functions, Logic, and the Foundations of Mathematics. 3. ed. Socorro, New Mexico, USA: Advanced Reasoning Forum, 2008.
  5. GADAMER, Hans-Georg. Wahrheit und Methode. Berlin: Akademie Verlag, 2007. v. 30.
  6. HEGEL, Georg Friederich Wilhelm. Hegel´s Phenomenology of Spirit. Tradução: A. V. Miller. New York: Oxford University Press, 2004.
  1. HEIDEGGER, Martin. Sein und Zeit. 11. ed. Tübingen: Max Niemeyer Verlag, 1967.
  2. HUSSERL, Edmund. The Crisis of European Sciences and Transcendental Phenomenology. Evanston, USA: Northwestern University Press, 1970.
  3. KANT, Immanuel. Kritik der Praktischen Vernunft. Berlin: Akademie Verlag, 2002. (Klassiker Auslegen).v. 26
  4. KANT, Immanuel. Groundwork of the Metaphysics of Morals: A German-English Edition. tradução: Mary Gregor; Jens Timmermann. Cambridge, UK: Cambridge University Press, 2011.
  5. KARDEC, Allan. Das Buch der Geister. Übersetzung: Edith Burkhard. 3. ed. Brasília, DF: Internationaler Spiritistischer Rat, 2011.
  6. PLATO. Plato Republic. Tradução: C. D. C. Reeve. Indianapolis, IN, USA: Hackett Publishing Company, 2004.
Königsberg, 5–7 September, 1930

Credits

  1. Special thanks to: Yuki Hattori (GitHub) creator of Marp.
  2. Early inspiring ideas: Juan Vera del Campo CSS styles. Gracias!
  3. Inspired by the work of Daniel Kriesten at marp-template-hsmw. Herzlichen Dank!
  4. Biography on Wikipedia: Jacques-Louis David.
  5. Cover image: Flute Player Courtesy of ©️ nicoolay/DigitalVision Vectors/Getty Images.
  6. Cover image: Courtesy of ©️ Ishtar Bäcklund Dakhil Der Sohn des Odysseus - Berlin: Verlag Urachhaus 2021..
  1. Figure of: Shaun The Sheep - Aardman animations ltd. ©️ 2025
  2. Video of: Nikolay Sobolev no Pexels.
  3. Foto de Wikipedia: La mort de Socrate
  4. Foto de Wikipedia: Léonidas aux Thermopyles.
  5. Foto de Wikipedia: Sócates
  6. Foto de: Pixabay no Pexels.
  7. Font Fira Sans imported from: Google Fonts.
Königsberg, 5–7 September, 1930
Shaun The Sheep ©️ 2025 aardman animations ltd.
Königsberg, 5–7 September, 1930

Click to the

Beginning