1,041
reputation
1
10
19

Lucas K.

The idea of mathematics was always that with simple principles complex things could be explained. This idea has somewhat lost in logic, you need a very complex system to explain something simple.

I am developing a very simple logic, that consists only of context free PI2 sentences. Every theorem is a comparison of two non-deterministic Turing equivalent expressions. I show that is possible to directly reason with such system and that it can be understood by everyone that can program a little bit.

It is not possible to directly reason (without additional logic) about Halting problems. The leap between two Halting problems is too big.

It is also not possible to reason about comparison of two deterministic programs. The leap between two theorems is still too big.

However, with comparison of two non-deterministic programs, things become possible.

23
answers
20
questions
~259k
people reached
  • The Netherlands
  • Member for 9 years, 1 month
  • 3,082 profile views
  • Last seen Apr 27 at 20:03

Top tags (37)

Score 32
Posts 33
Posts % 77
Score 15
Posts 4
Score 12
Posts 2
Score 12
Posts 2
Score 5
Posts 4
Score 4
Posts 4

Top posts (43) All Questions Answers | Votes Newest

View all questions and answers

Badges (30)

Gold

1

Rarest

Silver

10

Rarest

Bronze

19

Rarest