Zobacz w:
GRZEGORCZYK, Andrzej
| Powiązane artykuły | |
|---|---|
| Opublikowany | wtorek, 30 września 2025 |
| Zajawka | Miejsce w SLW: uczeń Zygmunta Zawirskiego. Obszary badań: logika matematyczna, etyka, antropologia. Koncepcje: chrześcijaństwo jako fundament kultury europejskiej, non-violence jako uniwersalna zasada moralna. Najważniejsze wyniki: dowód nierozstrzygalności m.in. elementarnej topologii algebraicznej, kryterium bycia prawem logiki intuicjonistycznej, systematyzacja sformalizowanych teorii arytmetycznych; sformułowanie formalnych własności konkatenacji. |
| Version | 1.1 |
