|
|||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||
Artykuł niekompetentny, pisany przez amatora. Dwa przykłady: 1) logicym głosi, że matematyka jest redukowalna do logiki klasycznej, w której rachunek zdań jest tylko częścią, 2) teoria typów jest oparta na logice zdań, a nie na odwrót. Ostatnie akapity są niezrozumiałe lub historycznie błędne.
|
| All Right Reserved © 2007, Designed by Stylish Blog. |