Free to follow every thread. No paywall, no dead ends.
Logic in computer science | HearLore
— Curated category —
Logic in computer science
Automated reasoningThe Cornell Summer meeting of 1957 brought together logicians and computer scientists to discuss the future of machine logic.
Fuzzy logicIn 1965, mathematician Lotfi Zadeh published a proposal for fuzzy set theory that would eventually reshape how machines handle uncertainty.
Horn clauseIn 1951, logician Alfred Horn published a paper that changed how mathematicians viewed logical formulas. He identified a specific type of disjunctive clause…
Undecidable problemA decision problem asks a yes-or-no question for every input in an infinite set. These inputs can be numbers or strings of a formal language.