EntropediaEntropedia

Higher-order Logic

Type

Higher-order logic

Field

Mathematics, logic, science, and philosophy

Debates

Formalism vs. anti-formalism • Foundations of mathematics • Symbolic logic • Philosophical implications of abstract symbolism

Creators

Sofia KovalevskayaNikolai LobachevskyPavel Nekrasov

Influenced

Mathematics • science • philosophy • early computers

Developed in

Russia (early 1800s)

Higher-order Logic