Results 81 to 90 of about 2,335,588 (204)

The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies.

Ìнформаційні технології в освіті, 2008
Sinko Yuri. “The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies”. In the article the speech goes about implementation of new information technologies in process
Y. I. Sinko
doaj  

How relevance of philosophy, science and philosophy science through the study of mathematical logic?

Al-Jabar
Background: Philosophy, science, and the philosophy of science serve as interconnected systems of expression that can be utilized as benchmarks and standards of truth across various fields.
Farida Farida, Andra Rotama, Dharmawan Dharmawan, Agus Pahrudin   +3 more
doaj   +1 more source

On definability in dependence logic

, 2009
We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007].
Väänänen, J., Kontinen, J.
core   +1 more source

Petr Hájek on mathematical fuzzy logic

, 2014
This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work.
Montagna, Franco
core   +1 more source

Abstract logical structuralism

Zagadnienia Filozoficzne w Nauce, 2020
Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism.
Jean-Pierre Marquis
doaj  

On the connection between the categorical and the modal logic approaches to Quantum Mechanics [PDF]

, 2013
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps.
Cinà, Giovanni
core  

Degrees containing members of thin II1 classes are dense and co-dense

, 2018
In [Countable thin II1 classes, Ann. Pure Appl. Logic 59 (1993) 79-139], Cenzer, Downey, Jockusch and Shore proved the density of degrees (not necessarily c.e.) containing members of countable thin II1 classes. In the same paper, Cenzer et al.
Yue Yang, Wu, Guohua, Rodney G. Downey, Downey, Rodney G., Guohua Wu, Yang, Yue   +5 more
core   +1 more source

Mathematical Logic [PDF]

Nature, 1952
openaire   +1 more source

Grounds for the renewal and mathematisation of logic and their historical characterisation

Гуманітарні студії: педагогіка, психологія, філософія
The relevance of the study is conditioned by the necessity of a historico-philosophical understanding of the process of renewal and mathematisation of logic, which determined the formation of contemporary mathematical logic and substantially influenced ...
G. Kulebyakin
doaj   +1 more source

HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ

Felsefe Dünyası, 2014
Bu yazıda, Hilbert’in biçimselleştirme programına kadar giden matematikfelsefesindeki önemli krizlerden bahsedilmiştir. Hilbert’in programınıngerçekleşemeyeceğini gösteren Gödel’in eksiklik teoremi gibi programınsonuçları ve nedenleri tartışılmıştır ...
Ahmet Çevik
doaj