I am a mathematician. Within mathematics, I am most interested in mathematical logic.
My research area is set theory, mainly infinite combinatorics. Working on a question "is this and this true?" in this area, you have to reckon with three kinds of possible answers: Yes, no, and "it is independent of the commonly accepted axioms ZFC (Zermelo, Fraenkel and Choice)". The latter means that there are a model of ZFC where ''this and this'' is true and a model of ZFC where ''this and this'' is false. The art is to find or construct such models.
A well-known example for ''this and this'' is the continuum hypothesis.
Version der Seite vom 13.10.2021, HM