Scottish chemist Alexander Crum Brown (1838–1922) has changed the representation used in type theory by introducing the lines which connect symbols of
elements—modern chemical formula is born:
As I have demonstrated in a series of examples, theory, or concept, as well as any
logical system, independently how well it is constructed, always finish in
contradiction.
Mathematician and philosopher Kurt Friedrich Gödel (1906–1978), one of the
most famous logicians after Aristotle, has in the year 1931 published the paper in
which he has exposed his theorem of incompleteness:
1. If the system is self-consistent, it cannot be complete.
2. Consistency of axioms, which are the basis of the system, cannot be proved
within this system.
This revolutionary discovery has changed not only science but also the general
way of thinking: it is not possible to create any scientific system that is complete in
Facsimile of the front page of the word of August Kekulé about mutual binding of
carbon atoms in organic compounds
90
10 Systematization, Classification, Structure, and Elements
elements—modern chemical formula is born:
As I have demonstrated in a series of examples, theory, or concept, as well as any
logical system, independently how well it is constructed, always finish in
contradiction.
Mathematician and philosopher Kurt Friedrich Gödel (1906–1978), one of the
most famous logicians after Aristotle, has in the year 1931 published the paper in
which he has exposed his theorem of incompleteness:
1. If the system is self-consistent, it cannot be complete.
2. Consistency of axioms, which are the basis of the system, cannot be proved
within this system.
This revolutionary discovery has changed not only science but also the general
way of thinking: it is not possible to create any scientific system that is complete in
Facsimile of the front page of the word of August Kekulé about mutual binding of
carbon atoms in organic compounds
90
10 Systematization, Classification, Structure, and Elements