Search found 1 match
- Thu Dec 21, 2023 6:19 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Is it possible to define a measure of how interesting is a given mathematical theory?
- Replies: 6
- Views: 10241
Is it possible to define a measure of how interesting is a given mathematical theory?
The measure should be a function that takes as input a library of propositions, definitions and proves in a given formal language (let's say for example a subset of mathlib - https://leanprover-community.github.io/ ... rview.html), and returns a real value between 0 and 1.