Foundations of the Formal Sciences 1
Author : Benedikt Löwe
Publisher :
Page : 303 pages
File Size : 28,47 MB
Release : 2002
Category :
ISBN :
Foundations of the Formal Sciences
Author : Benedikt Löwe
Publisher :
Page : 0 pages
File Size : 17,43 MB
Release : 2006
Category : Computers
ISBN : 9781904987291
Book Description
This volume takes a reflective position with respect to the conference series "Foundations of the Formal Sciences" (FotFS) and asks: * What are the Formal Sciences? * Can we develop a theoretical classification of the sciences that juxtaposes the formal sciences to the natural sciences, social sciences, and humanities? Can we do this solely by identifying common methodological features? * Can we identify changes of the notion of formal sciences over time? How were the areas that we now conceived as the "Foundations of the Formal Sciences" classified throughout history? Investigating the "History of the Concept of the Formal Sciences" to find answers to an array of questions with this wide scope, you need an enthusiastic group of researchers interested in going beyond the traditional boundaries of their subjects covering at once the philosophical, historical and logical issues at hand, like the authors of this volume. The papers in this volume stand witness to our success in touching the mentioned questions. It will be of interest to philosophers, sociologists, historians, and logicians, and covers many aspects of the history of the formal sciences from the Bronze Age to the early XXIst century.
Foundations of the Formal Sciences II
Author : Benedikt Löwe
Publisher : Springer Science & Business Media
Page : 308 pages
File Size : 10,81 MB
Release : 2013-04-17
Category : Philosophy
ISBN : 9401703957
Book Description
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic.
Foundations of the Formal Sciences
Author :
Publisher :
Page : pages
File Size : 24,60 MB
Release : 2003
Category :
ISBN :
Book Description
The Foundations of Science: Science and Hypothesis, The Value of Science, Science and Method
Author : Henri Poincaré
Publisher : DigiCat
Page : 556 pages
File Size : 31,39 MB
Release : 2022-08-01
Category : Philosophy
ISBN :
Book Description
DigiCat Publishing presents to you this special edition of "The Foundations of Science: Science and Hypothesis, The Value of Science, Science and Method" by Henri Poincaré. DigiCat Publishing considers every written word to be a legacy of humankind. Every DigiCat book has been carefully reproduced for republishing in a new modern format. The books are available in print, as well as ebooks. DigiCat hopes you will treat this work with the acknowledgment and passion it deserves as a classic of world literature.
Foundations of Algebraic Specification and Formal Software Development
Author : Donald Sannella
Publisher : Springer Science & Business Media
Page : 594 pages
File Size : 31,54 MB
Release : 2012-01-05
Category : Computers
ISBN : 3642173365
Book Description
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.
Linguistics and the Formal Sciences
Author : Marcus Tomalin
Publisher : Cambridge University Press
Page : 247 pages
File Size : 21,71 MB
Release : 2006-02-16
Category : Language Arts & Disciplines
ISBN : 1139450816
Book Description
The formal sciences, particularly mathematics, have had a profound influence on the development of linguistics. This insightful overview looks at techniques that were introduced in the fields of mathematics, logic and philosophy during the twentieth century, and explores their effect on the work of various linguists. In particular, it discusses the 'foundations crisis' that destabilised mathematics at the start of the twentieth century, the numerous related movements which sought to respond to this crisis, and how they influenced the development of syntactic theory in the 1950s. The book concludes by discussing the resulting major consequences for syntactic theory, and provides a detailed reassessment of Chomsky's early work at the advent of Generative Grammar. Informative and revealing, this book will be invaluable to all those working in formal linguistics, in particular those interested in its history and development.
Foundations of the Formal Sciences V
Author : Stefan Bold
Publisher :
Page : 376 pages
File Size : 15,94 MB
Release : 2007
Category : Computers
ISBN :
Book Description
Infinity can feature in games in various forms: we can play games of infinite length, with infinitely many players, or allow for infinitely many moves or strategies. Games of infinite length have been thoroughly investigated by mathematicians ard have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical "Gedankenxperiments", as limit cases in economical applications, and in many other applications. The conference "Foundations of the Formal Sciences V" focused on games of infinite length, but was very open to include other notions of infinity in games as well. It brought together researchers from the various areas that employ infinitary game techniques to talk about similarities and dissimilarities of the different approaches and develop cross-cultural bridges. This volume contains the fully refereed proceedings of the conference and provides a healthy and interesting mixture of research papers and surveys for a broad audience.
Foundations of Data Science
Author : Avrim Blum
Publisher : Cambridge University Press
Page : 433 pages
File Size : 48,37 MB
Release : 2020-01-23
Category : Computers
ISBN : 1108617360
Book Description
This book provides an introduction to the mathematical and algorithmic foundations of data science, including machine learning, high-dimensional geometry, and analysis of large networks. Topics include the counterintuitive nature of data in high dimensions, important linear algebraic techniques such as singular value decomposition, the theory of random walks and Markov chains, the fundamentals of and important algorithms for machine learning, algorithms and analysis for clustering, probabilistic models for large networks, representation learning including topic modelling and non-negative matrix factorization, wavelets and compressed sensing. Important probabilistic techniques are developed including the law of large numbers, tail inequalities, analysis of random projections, generalization guarantees in machine learning, and moment methods for analysis of phase transitions in large random graphs. Additionally, important structural and complexity measures are discussed such as matrix norms and VC-dimension. This book is suitable for both undergraduate and graduate courses in the design and analysis of algorithms for data.
Foundations of Physics
Author : Mario Bunge
Publisher : Springer Science & Business Media
Page : 267 pages
File Size : 15,96 MB
Release : 2013-03-13
Category : Science
ISBN : 3642492878
Book Description
This is not an introduction to physics but an analysis of its founda tions. Indeed, the aims of this book are: (1) to analyze the form and content of some of the key ideas of physics; (2) to formulate several basic physical theories in an explicit and orderly (i. e. , axiomatic) fashion; (3) to exhibit their presuppositions and discuss some of their philosoph ical implications; (4) to discuss some of the controversial issues, and (5) to debunk certain dusty philosophical tenets that obscure the under standing of physics and hinder its progress. To the extent to which these goals are attained, the volume can serve as a companion to studies in theoretical physics aiming at deepening the understanding of the logical structure and the physical meaning of our science. In order to keep the book slender, whole fields of basic physical research had to be excluded - chiefly many-body physics, quantum field theories, and elementary particle theories. A large coverage was believed to be less important than a comparatively detailed analysis and reconstruction of three representative monuments: classical mechan ics, general relativity, and quantum mechanics, as well as their usually unrecognized presuppositions. The reader is invited to join the project and supply some of the many missing chapters - or to rewrite the present ones entirely.
