This is a preview. Log in through your library . Abstract The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of ...
Some scientific discoveries matter because they reveal something new — the double helical structure of DNA, for example, or the existence of black holes. However, some revelations are profound because ...