Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I'm actually interested in what these results of practical significance would be. Practical, as in actually useful for technology or such.

I'm also not sure what you mean with "finitist framework". As I said, analysis existed before set theory, it doesn't require any special framework. In fact, the system of natural numbers, real numbers, and complex numbers can be axiomatized just with second-order logic. Without set theory, let alone a transfinite set theory like ZFC. And normal mathematicians wouldn't even use a formal logic here, they would just write down those axioms in plain English.



Hmm. Measure theory without sets? The entire thing is about mapping sets to numbers?

Most mathematicians would include measure theory in analysis since it is needed for Lebesgue integration, and what is analysis about if not integrals?

If you're wondering about applications of measure theory you'll see plenty here: https://en.m.wikipedia.org/wiki/Measure_(mathematics)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: