БЕРНУЛЛИ (Bernoulli) Иоганн (1667—1748) — швейцарский математик и логик, почетный член Петербургской Академии наук. В 1685 г. ои совместно с братом Я. Бернулли написал труд «Parallelismus га-tiocinii logici et algebraici» («Параллелизм логического и алгебраического рассуждения»), в котором содержались начатки исчисления высказываний (см.) и теории структур. Исключительно плодотворной была высказанная ими аналогия между логическими и алгебраическими функторами-связками, с помощью которых из одних выражений образуются другие. «Для обозначения операции сложения идей многих вещей, без утверждения или отрицания, употребляют,— пишут они,— знак «&», как, например, мужество & эрудиция; операция сложения многих количеств, без сравнения, выражается знаком «+», как, например, a + Ъ... Две величины, между которыми ум усматривает равенство, связываются знаком равенства («=») в уравнение (aequatio), как, например, а = Ь. С другой стороны неравенство обозначают знаками «О и «|>», как, например, о < Ъ или а > Ь» (цит. по [462, стр. 243— 244]). Вместе с Лейбницем Я. Бернулли разрабатывал дифференциальные и интегральные исчисления.
Метки:Логика, Математика, Ученые, Философия