Results 1 to 10 of about 391,075 (200)
Using fuzzy logic and mathematical models to predict the financial efficiency of industrial enterprises. [PDF]
Dong Y.
europepmc +2 more sources
Clustering Productive Palm Land using the K- Means Clustering Algorithm
Indonesia is a country with a tropical climate that has many oil palm plantations. CV. Alkema Deo is one of the companies that manage oil palm plantations in Sampit City, East Kotawaringin Regency, Central Kalimantan. CV.
Geofanny Widianto Sihite +1 more
doaj +1 more source
“Mantık - Matematik ilişkisi bağlamında geçerli kıyas kalıplarının Venn şeması ile gösterimi ve yorumlanması” adını taşıyan bu çalışmada kıyas kalıplarını matematiksel bir gösterim şekli ile daha sembolik hale getirmeye ve farklı bir bakış açısı sunmaya ...
Kamil Kömürcü, Halit Kıras
doaj +1 more source
The modal logic of Reverse Mathematics [PDF]
The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way.
Mummert, Carl +2 more
core +1 more source
Conceptual models of the quality control process
This paper discusses issues of conceptual modelling of the product quality control process. Special attention is paid to the quality inspection. This process can be considered as a kind of product sorting the aim of which is to identify the product ...
A. Ribikauskas +2 more
doaj +1 more source
A non-standard analysis of a cultural icon: The case of Paul Halmos [PDF]
We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his philosophical position of naive set-theoretic realism.
Blaszczyk, Piotr +6 more
core +2 more sources
Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]
K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core +2 more sources
Grzegorczyk’s Logics. Part I [PDF]
This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]).
Huuskonen, Taneli
core +2 more sources
Wittgenstein on Pseudo-Irrationals, Diagonal Numbers and Decidability [PDF]
In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern ...
Lampert, Timm
core
Kriesel and Wittgenstein [PDF]
Georg Kreisel (15 September 1923 - 1 March 2015) was a formidable mathematical logician during a formative period when the subject was becoming a sophisticated field at the crossing of mathematics and logic.
Kanamori, Akihiro
core

