[¯|¯] Alla disperata ricerca di una verità perduta

lunedì, Dicembre 31st, 2018

principio del rasio di occam, falsificazionismo di Karl Popper,teorema di Gödel — .

Premessa

Questo handbook nasce da un thread nel gruppo facebook associato a Matematica Open Source

Di seguito gli argomenti:

Definizione di teoria.
Dominio di validità
Il principio del rasoio di Occam (un esempio di violazione di tale principio: il modello di universo inflazionario)
Successione di teorie. La Teoria del Tutto

(altro…)

Posted in Filosofia della Scienza | No Comments »

[¯|¯] Il Teorema di Gödel e la notazione di Iverson

giovedì, Settembre 18th, 2014

Kurt Gödel,paradosso del mentitore — **Fig. 1**. Kurt Gödel

Nella definizione della funzione signum abbiamo utilizzato le parentesi di Iverson. Se $\Pi$ è
l'insieme delle proposizioni $\mathcal{P}$ associate a un sistema formale $\Sigma$ :
\begin{equation}
\underset{\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\mathcal{P}%
\longrightarrow\left[ \mathcal{P}\right] ,\,\,\,\,\forall\mathcal{P}\in\Pi
}{\left[ .\right] :\Pi\rightarrow\mathbb{N}}\label{eq: function_iverson}%
\end{equation}
Tale legge è:
\begin{equation}
\left[ \mathcal{P}\right] =\left\{
\begin{array}
[c]{l}%
1\text{, se }\mathcal{P}\text{ è vera}\\
0\text{, se }\mathcal{P}\text{ è falsa}%
\end{array}
\right.
\end{equation}
(altro…)