Finitary - Finitary
В математике и логике , операция является финитной , если она имеет конечное арность , то есть , если она имеет конечное число входных значений. Точно так же бесконечная операция - это операция с бесконечным числом входных значений.
В стандартной математике операция по определению конечна. Поэтому эти термины обычно используются только в контексте бесконечной логики .
Финитарный аргумент
Финитарный аргумент является тот , который можно перевести в конечное множество символических суждений , начиная с конечным множеством аксиом . Другими словами, это доказательство (включая все предположения), которое можно записать на достаточно большом листе бумаги.
Напротив, бесконечная логика изучает логику, допускающую бесконечно длинные утверждения и доказательства . В такой логике можно рассматривать квантор существования , например, как производный от бесконечной дизъюнкции .
История
Логики в начале 20-го века стремились решить проблему основ , например: «Что есть истинная основа математики?» Программа должна была иметь возможность переписать всю математику, используя полностью синтаксический язык без семантики . По словам Дэвида Гильберта (имея в виду геометрию ), «не имеет значения, назовем мы эти предметы стульями , столами и пивными кружками или точками , линиями и плоскостями ».
Акцент на конечности возник из идеи, что человеческое математическое мышление основано на конечном числе принципов, и все рассуждения следуют по существу одному правилу: modus ponens . Проект состоял в том, чтобы исправить конечное количество символов (по сути, цифры 1, 2, 3, ... буквы алфавита и некоторые специальные символы, такие как «+», «⇒», «(«, »)» и т. Д. ), дают конечное число предложений, выраженных в этих символах, которые должны были быть приняты как «основы» (аксиомы), и некоторые правила вывода, которые моделируют то, как люди делают выводы. Из них, независимо от семантической интерпретации символов, остальные теоремы должны формально следовать с использованием только установленных правил (которые делают математику более похожей на игру с символами, чем на науку ) без необходимости полагаться на изобретательность. Была надежда доказать, что из этих аксиом и правил можно вывести все теоремы математики. Эта цель известна как логицизм .