Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Proof, Logic and Formalization, 


Варианты приобретения
Цена: 8726.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания


Название:  Proof, Logic and Formalization
ISBN: 9781138009073
Издательство: Taylor&Francis
Классификация:
ISBN-10: 1138009075
Обложка/Формат: Paperback
Вес: 0.29 кг.
Дата издания: 08.05.2015
Язык: English
Размер: 216 x 140 x 14
Читательская аудитория: Tertiary education (us: college)
Ключевые слова: Philosophy: logic, PHILOSOPHY / General
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Европейский союз
Описание: A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.


Formalization of Programming Concepts

Автор: J. Diaz; I. Ramos
Название: Formalization of Programming Concepts
ISBN: 3540106995 ISBN-13(EAN): 9783540106999
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Algebraic Formalization of Smart Systems

Автор: Serdyukova
Название: Algebraic Formalization of Smart Systems
ISBN: 3319770500 ISBN-13(EAN): 9783319770505
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization.

Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective on the Relation Between Quantum and Relativistic Physics

Автор: Von Muller Albrecht, Zafiris Elias
Название: Concept and Formalization of Constellatory Self-Unfolding: A Novel Perspective on the Relation Between Quantum and Relativistic Physics
ISBN: 3319897756 ISBN-13(EAN): 9783319897752
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This volume offers a fundamentally different way of conceptualizing time and reality. Today, we see time predominantly as the linear-sequential order of events, and reality accordingly as consisting of facts that can be ordered along sequential time. But what if this conceptualization has us mistaking the "exhausts" for the "real thing", i.e. if we miss the best, the actual taking place of reality as it occurs in a very differently structured, primordial form of time, the time-space of the present?

In this new conceptual framework, both the sequential aspect of time and the factual aspect of reality are emergent phenomena that come into being only after reality has actually taken place. In the new view, facts are just the "traces" that the actual taking place of reality leaves behind on the co-emergent "canvas'' of local spacetime. Local spacetime itself emerges only as facts come into being - and only facts can be adequately localized in it.

But, how does reality then actually occur? It is conceived as a "constellatory self-unfolding", characterized by strong self-referentiality, and taking place in the primordial form of time, the not yet sequentially structured "time-space of the present". Time is seen here as an ontophainetic platform, i.e. as the stage on which reality can first occur. This view of time (and, thus, also space) seems to be very much in accordance with what we encounter in quantum physics before the so-called collapse of the wave function. In parallel, classical and relativistic physics largely operate within the factual portrait of reality, and the sequential aspect of time, respectively. Only singularities constitute an important exemption: here the canvas of local spacetime - that emerged together with factization - melts down again.

In the novel framework quantum reduction and singularities can be seen and addressed as inverse transitions: In quantum physical state reduction reality "gains" the chrono-ontological format of facticity, and the sequential aspect of time becomes applicable. In singularities, by contrast, the inverse happens: Reality loses its local spacetime formation and reverts back into its primordial, pre-local shape - making in this way the use of causality relations, Boolean logic and the dichotomization of subject and object obsolete.

For our understanding of the relation between quantum and relativistic physics this new view opens up fundamentally new perspectives: Both are legitimate views of time and reality, they just address very different chrono-ontological portraits, and thus should not lead us to erroneously subjugating one view under the other.

The task of the book is to provide a formal framework in which this radically different view of time and reality can be addressed properly. The mathematical approach is based on the logical and topological features of the Borromean Rings. It draws upon concepts and methods of algebraic and geometric topology - especially the theory of sheaves and links, group theory, logic and information theory, in relation to the standard constructions employed in quantum mechanics and general relativity, shedding new light on the pestilential problems of their compatibility. The intended audience includes physicists, mathematicians and philosophers with an interest in the conceptual and mathematical foundations of modern physics.


The Meaning of General Theoretical Sociology: Tradition and Formalization

Автор: Fararo Thomas J.
Название: The Meaning of General Theoretical Sociology: Tradition and Formalization
ISBN: 0521437954 ISBN-13(EAN): 9780521437950
Издательство: Cambridge Academ
Рейтинг:
Цена: 6970.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book sets out a generative structuralist conception of general theoretical sociology; its philosophy, its problems, and its methods. The field is defined as a comprehensive research tradition with many intersecting subtraditions that share conceptual components.

Formalization of Natural Languages

Автор: P. K?mmel
Название: Formalization of Natural Languages
ISBN: 3642666671 ISBN-13(EAN): 9783642666674
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The attempt to simulate dialogues in Natural Language by a machine requires extensive analyses of Natural Language`s expression and content phenomena. Sometimes fully self-explanatory or content-related expression units within carrier systems of isolated morphologies guarantee significant insights into phenomena of Natural Language`s content.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия