А. Гейтинг

Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма - философско-математического течения, считающего интуицию единственным источником математики и главным...

В книге Гитинга дается обзор двух основных школ современной буржуазией философии математики - интуиционизма и формализма. В процессе критической работы обе школы, несмотря на их философские субъективно идеалистические предпосылки, открыли ряд Чрезвычайно глубоких и интересных математических фактов. Ознакомление с ними приставляет интерес для советского читателя, желающего ознакомиться с вопросами ...