Kategoria BISAC: Mathematics >> Logic

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language – and specifically, the ability to institute conventions for the truth conditions of sentences.

This philosophical stance leads to an alternative way of practicing mathematics: instead of “building” objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory.

Semantic conventionalism is...

This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood). It focuses on the essays 8 to 12 of the original monograph, Exploring Meinong's Jungle and Beyond, following on from the material of the first two volumes and further explores aspects and implications of the Noneist position. It begins with a discussion of the value of nonexistent objects championed by noneism, especially as regards theories of...

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism. In Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e....

This book presents peer-reviewed papers from the 4th International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2019), held in Tbilisi, Georgia, in September 2019. 

Written by leading researchers from Austria, France, Germany, Georgia, Hungary, Romania, South Korea and the UK, the book discusses important aspects of mathematics, and informatics, and their applications in natural sciences and engineering. It particularly focuses on Lie algebras and applications, strategic graph rewriting, interactive modeling...

The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*

The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.

*Conference was held as a hybrid event due to the COVID-19 pandemic.

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software...

Dieses Buch entwickelt systematisch die Konstruktion der klassischen Zahlenbereiche mit Blick auf die wichtigsten mathematischen Strukturen: Ordnungsstrukturen, algebraische Strukturen und topologische Strukturen. Kurze Zusammenfassungen je Kapitel/Abschnitt erleichtern die Übersicht und das Verinnerlichen der Inhalte. Das Buch bietet einen weit vernetzten Überblick über die fachwissenschaftlichen Grundlagen und deren zentrale Zusammenhänge; damit dient es Studierenden im Fach- und insbesondere im Lehramtsstudium Mathematik für Grundschule und Sekundarstufe I als wertvolle Ergänzung...