*Welcome to the web page of*

# Paola Cattabriga

### Education

- July 1991
- Degree (Laurea) in Filosofia, University of Bologna.
Dissertation:
*Decidibilità e Indecidibilità nelle Teorie Elementari. Metodi di Risoluzione Automatica.*.

- January 1996
- Phd (Dottorato di Ricerca) in Computer Science and Law at
CIRFID -
Interdepartmental Research Center for Informatics and Law. University of
Bologna.
Dissertation:
*Sistemi Algoritmici Indicizzati per il Ragionamento Giuridico*.

### Last Position

- November 1997

- Post-PhD Researcher (Post-Dottorato) at Department of
Philosophy,
University of Bologna.
Research-work:
*Planning and implementation of non-classical theorem provers*.

Curriculum Vitae | Publications |

*Beyond Undecidable*proves definitely that Gödel's incompleteness argumentation is not a theorem. The proof has many consequences but the main one is the solution of the Entscheidungsproblem.

The paper with title *Beyond
Uncountable* proves,
immediately by the axioms of ZF, that Cantor's argumentation for
reaching
more-than-denumerable sets is not a theorem.

*diagonalization leads to a contradiction*but "

*not only*", as showed by both papers, the acceptance of diagonalization as method of proof, leads immediately to the inconsistency of the theory (PA, as proved in

*Beyond Undecidable*, ZF, as proved in

*Beyond Uncountable*). Briefly, diagonalization is a way to insert a contradiction into the theory mistaking it for a proof.

In both papers the definition of the complement of the
object of diagonalization
brings to light the fact that diagonalization
mistakes a contradiction for a proof.
All that claims for something missing at the level of
the theory of definition. Along this way the inquiry yielded recently a
treatment for
Russell's antinomy, exposed in * For a
new Comprehension*.

Old Works | Postings to Newsgroups |

Accesses since April 2003.

Last edited: January 30 2008 / Homepage / Paola Cattabriga / e-mail: p.cattabriga_at_libero.it/

* Copyright © 1996-2009 Paola Cattabriga.
All rights reserved.
Reproduction in whole or in part is strictly prohibited
without express written permission of the copyright holder. *