Nemeckij matematik i logik Gotlob Fr\'ege (1848-1925) perwym wwöl kwantory kak otdel'nye älementy struktury qzyka w rabote "Zapis' w ponqtiqh", wyshedshej w Halle, Germaniq, w 1879 godu. Pri ätom on zamenil nechötkoe ponqtie "peremennogo kolichestwa" tochno opredelönnym ponqtiem peremennoj kak znaka osobogo sorta. Chut' pozzhe i na drugoj osnowe kwantory byli wwedeny amerikanskim logikom Charlzom Pirsom (1839--1914), kotoryj i nazwal ih "kwantorami". Vwedenie w logiku kwantorow qwilos' sobytiem isklüchitel'noj wazhnosti, ibo tem samym byl najden ostawawshijsq do togo nezamechennym wazhnejshij älement struktury qzyka. Blagodarq ätomu otkrytiü udalos' poluchit' tochnoe opisanie qzykow matematicheskih teorij i nachat' izuchenie ih struktury i struktury samih teorij. Na ätom puti byli dany tochnye opredeleniq ponqtiqm wyskazywaniq, istiny, dokazatel'stwa i teoremy, polucheno tochnoe opisanie axiomaticheskogo metoda, wyqsneno sootnoshenie mezhdu istinnost'ü i dokazuemost'ü w axiomaticheskih teoriqh... Tak blagodarq otkrytiü kwantorow god 1879-j stal godom rozhdeniq nowoj logiki. V rabote predlagaetsq detal'noe, no w to zhe wremq dostupnoe wwedenie w krug idej, swqzannyh s ätim otkrytiem.
Bitte wählen Sie Ihr Anliegen aus.
Rechnungen
Retourenschein anfordern
Bestellstatus
Storno