Re: Meaning of (In)completeness and (In)consistency in Godel's Logic

gundalav@xxxxxxxxx wrote:
Hi,

What is the meaning of incompleteness and inconsistency
in formal logic in Godelian logic?

There is no such thing as "Gödelian logic" unless you're referring to certain systems of modal logic studied in proof theory known as provability logics. In the context of the incompleteness theorems incompleteness of a formal theory means that there is some sentence A such that neither A nor ~A is provable in the theory, and inconsistency of a formal theory means that for some A both A and ~A are provable.

Is it the same with the same notion in the
domain of complexity theory (computer science) ?

It's unclear what you're referring to here.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages