Search Results

Advances in Peircean Mathematics: The Colombian School Berlin.

• Authors : Caterina, Gianluca (AUTHOR)

Subjects: PEIRCE, Charles S. (Charles Sanders), 1839-1914; CATEGORIES (Mathematics); MATHEMATICS

• Source: Transactions of the Charles S. Peirce Society. Summer2023, Vol. 59 Issue 3, p373-376. 4p.

Record details

Introduction to Incompleteness : From Gödel's Theorems to Forcing and the Continuum Hypothesis

• Authors : Serafim Batzoglou

Subjects: Mathematical logic; Set theoryMATHEMATICS / Logic; MATHEMATICS / Set Theory

Record details

Algorithms for Constructing Computably Enumerable Sets

• Authors : Kenneth J. Supowit

Subjects: Computer science; Computable functions; Recursion theoryCOMPUTERS / Computer Science; MATHEMATICS / Applied; MATHEMATICS / Logic

Record details

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas

• Authors : William M. Farmer

Subjects: Computer science; Mathematical logic; Computational complexityCOMPUTERS / Computer Science; MATHEMATICS / Logic; MATHEMATICS / Set Theory

Record details

A Comparison Process for Mouse Pairs

• Authors : John R. Steel

Subjects: Set theory; Iterative methods (Mathematics); Mathematical modelsMATHEMATICS / Logic

Record details

Logic - Language - Ontology : Selected Works

• Authors : Urszula B. Wybraniec-Skardowska

Subjects: Mathematics—Philosophy; Mathematical logic; LogicMATHEMATICS / History & Philosophy; MATHEMATICS / Logic; MATHEMATICS / Set Theory

Record details

Souslin Quasi-Orders and Bi-Embeddability of Uncountable Structures

• Authors : Alessandro Andretta; Luca Motto Ros

Subjects: Embeddings (Mathematics); Topological spaces; Set theoryMATHEMATICS / Logic

Record details

Fuzzy Logic : Recent Applications and Developments

• Authors : Jenny Carter; Francisco Chiclana; Arjab Singh Khuman

Subjects: Artificial intelligence; Set theory; Computers, Special purposeCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Computer Architecture; MATHEMATICS / Logic

Record details

Pythagorean Fuzzy Sets : Theory and Applications

• Authors : Harish Garg

Subjects: Set theory; Artificial intelligenceMATHEMATICS / Logic; COMPUTERS / Artificial Intelligence / General

Record details

Structure And Randomness In Computability And Set Theory

• Authors : Douglas Cenzer; Christopher Porter; Jindrich Zapletal

Subjects: Set theory; Computable functionsMATHEMATICS / Set Theory; COMPUTERS / Computer Science; MATHEMATICS / Logic

Record details