Основные стратегии доказательства существования

Нашей ближайшей задачей будет углубление названных здесь интерпретаций существования. Каждая из них имеет достаточно солидную философско-математическую базу. Построение такой базы требует выявления ряда предпосылок, неявно присутствующих в любом математическом дискурсе. Сознательное прописывание такого рода предпосылок (т.е. работа, которую можно назвать уже чисто философской) не раз предпринималось ведущими математиками. К анализу взглядов некоторых из них мы сейчас обратимся.

Интересно знать

Полимиксины – новый взгляд на известные антибиотики
Появление множественно-резистентных возбудителей заставляет пересматривать отношение к ряду известных и давно используемых препаратов, в частности к полимиксинам – группе полипептидных антибиотиков, продуцируемых Bacillus polymyxa, и высокоактивных в отношении грамотрицательной микрофлоры – Escherichia coli ...

Проблемы выбора карбапенемных антибиотиков в конце 90-х гг.
Первый антибиотик из группы карбапенемов – имипенем – появился в клинической практике в 1980г. К настоящему времени известно более 40 природных и синтетических соединений этой группы, однако для клинического применения используются только несколько препаратов: имипенем, меропенем, биапенем и панипенем (пос ...