Philosophy of Mathematics

Nền kinh tế nước ta đang chuyển biến mạnh mẽ từ nền kinh tế bao cấp sang kinh tế thị trường, nhất là từ khi nước ta gia nhập WTO. Đảng và chính phủ đã đề ra rất nhiều các chính sách để cải tiến các thể chế quản lý nền kinh tế và tài chính. Thị trường chứng khoán Việt Nam đã ra đời và đang đóng một vai trò quan trọng trong việc huy động vốn phục vụ cho (...) việc phát triển nền kinh tế quốc dân. Việc phân tích tác động của các chính sách đến nền kinh tế vĩ mô và nền tài chính, những đối sách của chính phủ ta và chính phủ các nước đối với cuộc khủng khoảng tài chính toàn cầu là các vấn đề rất thời sự đang thu hút sự chú ý của nhiều nhà kinh tế và toán học. (shrink)

The Tanglewood Trilogy (2002) Book One: Relative Realities, Book Two: Opposite Approach, Book Three: Partial Truth. Conservation of the Circle explains General Relativity, Complementary Opposition, and 50-50 Reality (50-50 as the constant and the norm). This gives humans the basis for everything in mathematics, science, art, and athletics (symbolic systems universally). Conservation of the Circle solves the grounding problem (where the absolute is relative because the relative is absolute) because an uber-universal circular-linear relationship (technically, pi in mathematics) is the only (...) 'actor' in Nature. Meaning there is a mandatory circular-linear 'relationship' between any X and-or Y (where it is impossible to have 'or' without 'and') (forcing humans to examine their existential relationship with 'technology'). The Tanglewood Trilogy: Relative Realities: Circle, triangle, square, one, three, two, any shape, articulates a circle, because the line is always diameter and circumference of a circle. If a line is real it must articulate a circle. Thus, all movement articulates a line, diameter of a circle. The line is all around us as (the most basic element in) nature. Opposite Approach: Complementarity is the basis for identity, all disciplines. Partial Truth: Duplication and negation form the basis for unification, all disciplines. Most recent technical explanation see 2024 paper 'Conservation of a Circle' also on Phil Papers. (shrink)

Silence is a multifaceted concept which is not merely as an absence of sound but a presence with significant ontological, existential, and phenomenological implications. Through a thematic analysis, this paper deconstructs silence into various dimensions—its ontology, linguistic universality, and its function as cessation of speech, a form of listening, an act of kenosis, a form of ascesis, and a way of life. The study employs philosophical discourse and mathematical notation to delve into these aspects, demonstrating that while each perspective sheds (...) light on certain facets of silence, none can comprehensively encapsulate its essence. The research underscores the paradoxical nature of silence. It is both a universal phenomenon recognised across cultures and an intimate, personal experience that resists definitive categorisation. The paper concludes that the true nature of silence, particularly when considering the state of "being silent," remains indefinable and elusive, inviting deeper contemplation on its role in human experience. (shrink)

Mới đây, chương trình máy tính ‘bayesvl’ chạy trên môi trường R do TS. Vương Quân Hoàng và kĩ sư Lã Việt Phương (Trung tâm Nghiên cứu Xã hội Liên ngành ISR, Đại học Phenikaa) thiết kế và phát triển chính thức được ra mắt trên CRAN - hệ thống thư viện chuẩn của R...

Integrating medical imaging with computing technologies, such as Artificial Intelligence (AI) and its subsets: Machine learning (ML) and Deep Learning (DL) has advanced into an essential facet of present-day medicine, signaling a pivotal role in diagnostic decision-making and treatment plans (Huang et al., 2023). The significance of medical imaging is escalated by its sustained growth within the realm of modern healthcare (Varoquaux and Cheplygina, 2022). Nevertheless, the ever-increasing volume of medical images compared to the availability of imaging experts. Biomedical experts (...) and radiologists have resulted in a widening disparity, causing an excess and overwhelming workload on these healthcare professionals (Chen et al., 2021). Several studies indicate that the present-day biomedical radiologist is now saddled with the daunting task of interpreting an image almost every 10 seconds to keep pace with the burgeoning clinical demands (McDonald et al., 2015; Hosny et al., 2018; Lantsman et al., 2022). This cognitive drain has invariably led to inevitable consequences such as delays in diagnosis and an amplified risk of diagnostic errors – thus, the biomedical imaging aspect is in dire need of methods that would aid accurate diagnostics and analytics for improved decision making. In this review, the importance of AI-related technologies such as ML and/or DL methods are reviewed in relation to the processing of medical or biomedical images along with their potentials, challenges, and possible suggestions for future studies in the health landscape. The focus will be on machine learning methods associated with the medical field of image classification. (shrink)

This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality over (...) the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

Text classification is one of the most important task in natural language processing, In this research, we carried out several experimental research on three (3) of the most popular Text classification NLP classifier in Convolutional Neural Network (CNN), Multinomial Naive Bayes (MNB), and Support Vector Machine (SVN). In the presence of enough training data, Deep Learning CNN work best in all parameters for evaluation with 77% accuracy, followed by SVM with accuracy of 76%, and multinomial Bayes with least performance of (...) 69% accuracy. CNN has the best performance in the presence of large enough training dataset because of the presence of filter/ kernels which help to indentify patterns in text data regardless of their position in the sentence. We repeated the training again with just one-third of our data, at this point SVM comes with the best performance, the performance of CNN noticeably drops but still better than Multinomial Naive Bayes, the reason why SVM works best when we reduce the training data was because of its ability to look for a hyper-plane that creates a boundary between different classes of data so as to properly classify them, so we believed that getting the hyper-plane was more efficient when we reduce the dataset, hence reason for the good performance. Multinomial Naive Bayes have the least performance which we attributed to its assumption of independency between the features which sometimes does not hold true. We concluded that availability of data should be an important factor when choosing classifier for Natural Language Processing Text Classification task. CNN should be use in the presence of enough dataset, and SVM should be use when data is not enough. Multinomial Naive Bayes must not be trusted with state of the art NLP task due to its assumption of independency between the features . (shrink)

This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality over (...) the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality over (...) the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

Scientists and engineers seek to understand how real-world systems work and could work better. Any modeling method devised for such purposes must simplify reality. Ideally, however, the modeling method should be flexible as well as logically rigorous; it should permit model simplifications to be appropriately tailored for the specific purpose at hand. Flexibility and logical rigor have been the two key goals motivating the development of Agent-based Computational Economics (ACE), a completely agent-based modeling method characterized by seven specific modeling principles. (...) This perspective provides an overview of ACE, a brief history of its development, and its role within a broader spectrum of experiment-based modeling methods. (shrink)

The aim of this paper is threefold. Firstly, §1 and §2 introduce the novel concept logical akrasia by analogy to epistemic akrasia. If successful, the initial sections will draw attention to an interesting akratic phenomenon which has not received much attention in the literature on akrasia (although it has been discussed by logicians in different terms). Secondly, §3 and §4 present a dilemma related to logical akrasia. From a case involving the consistency of Peano Arithmetic and Gödel’s Second Incompleteness Theorem (...) it’s shown that either we must be agnostic about the consistency of Peano Arithmetic or akratic in our arithmetical theorizing. If successful, these sections will underscore the pertinence and persistence of akrasia in arithmetic (by appeal to Gödel’s seminal work). Thirdly, §5 concludes by suggesting a way of translating the dilemma of arithmetical akrasia into a case of regular epistemic akrasia; and further how one might try to escape the dilemma when it’s framed this way. (shrink)

Arithmetic is one of the foundations of our educational systems, but what exactly is it? Numbers are everywhere in our modern societies, but what is our knowledge of numbers really about? This book provides a philosophical account of arithmetical knowledge that is based on the state-of-the-art empirical studies of numerical cognition. It explains how humans have developed arithmetic from humble origins to its modern status as an almost universally possessed knowledge and skill. Central to the account is the realisation that, (...) while arithmetic is a human creation, the development of arithmetic is constrained by our evolutionarily developed cognitive architecture. Arithmetic is a sophisticated cultural development, but it is ultimately based on abilities with numerosities that we already possess as infants and share with many non-human animals. Therefore, arithmetic is not purely conventional, an arbitrary game akin to chess. Instead, arithmetic is deeply connected to our basic cognitive capacities. (shrink)

Philosophers often debate the existence of such things as numbers and propositions, and say that if these objects exist, they are abstract. But what does it mean to call something 'abstract'? And do we have good reason to believe in the existence of abstract objects? This Element addresses those questions, putting newcomers to these debates in a position to understand what they concern and what are the most influential considerations at work in this area of metaphysics. It also provides advice (...) on which lines of discussion promise to be the most fruitful. (shrink)

Excerpt from Essai sur les Principes des Sciences Mathematiques A Briancon, dans le calme des longues soirees d'hiver, j'ai trouve a ces etudes un interet passionnant. En occupant mes loisirs, elles m'ont permis d'echapper au desoeuvrement et a l'ennui. Aussi, meme si la theorie a laquelle elles m'ont con duit ne devait pas recevoir la consecration officielle du succes, je leur en saurai toujours un gre infini. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...) Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.". (shrink)

We argue that two well-known examples (strawberry distribution and Konigsberg bridges) generally considered genuine cases of distinctively _mathematical_ explanation can also be understood as cases of distinctively _generic_ explanation. The latter answer resemblance questions (e.g., why did neither person A nor B manage to cross all bridges) by appealing to ‘generic task laws’ instead of mathematical necessity (as is done in distinctively mathematical explanations). We submit that distinctively generic explanations derive their explanatory force from their role in ontological unification. Additionally, (...) we argue that distinctively generic explanations are better seen as standardly mathematical instead of distinctively mathematical. Finally, we compare and contrast our proposal with the work of Christopher Pincock on abstract explanations in science and the views of Michael Strevens on abstract causal event explanations. (shrink)

In his groundbreaking book, Thin Objects, Linnebo (2018) argues for an account of neo-Fregean abstraction principles and thin existence that does not rely on analyticity or conceptual rules. It instead relies on a metaphysical notion he calls “sufficiency”. In this short discussion, I defend the analytic or conceptual rule account of thin existence.

Conservation of the Circle is the core (and, thus, the only) dynamic in Nature.

A traditional question in the philosophy of mathematics is to give an answer to the question: What is the nature of mathematical objects? This chapter considers the main answers that have been given to this question, specifically those according to which mathematical objects are independently existing entities, or abstractions, or logical objects, or simplifications, or mental constructions, or structures, or fictions, or idealizations of sensible things, or idealizations of operations. The chapter also shows the shortcomings of these answers, and considers (...) an alternative answer, according to which mathematical objects are hypotheses introduced to solve mathematical problems by the analytic method. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

Monism is the claim that only one object exists. While few contemporary philosophers endorse monism, it has an illustrious history – stretching back to Bradley, Spinoza and Parmenides. In this paper, I show that plausible assumptions about the higher-order logic of property identity entail that monism is true. Given the higher-order framework I operate in, this argument generalizes: it is also possible to establish that there is a single property, proposition, relation, etc. I then show why this form of monism (...) is inconsistent; because all propositions are identical, p is identical to ~p – and so they have the same truth-value. At least one of the assumptions that generate higher-order monism must be rejected. (shrink)

The mathematical universe hypothesis is a theory that the physical universe is not merely described by mathematics, but is mathematics, specifically a mathematical structure. Our research provides evidence that the mathematical structure of the universe is biological in nature and all systems, processes, and objects within the universe function in harmony with biological patterns. Living organisms are the result of the universe’s biological pattern and are embedded within their physiology the patterns of this biological universe. Therefore physiological patterns in living (...) organisms can be used as models to structurally map analogies from the biological domain to any target domain to reveal and understand the biological nature of the target domain. Our paper explores various analogies, structurally mapping a red blood cell to a cup; proteins produced from ribosomes to music produced from instruments; a beating heart to the melting and freezing of Antartica; cells, tissue, organs and blood, to people, organizations, industries, and money, and; bio-economic concepts in cellular society to socioeconomic concepts in human society. It also discusses how phenomena in cellular mitosis can help explain phenomena in the universe, such as black holes, dark matter, dark energy, and the structure of the universe. Building upon the concept of perennial wisdom, our research has provided evidence that the ideas of a biological universe were expressed across many past cultures and historical periods. The implications of this theory are vast, encompassing fields such as physics, science, philosophy, religion, law, economics, politics, and engineering, thus serving as a unifying theory for all knowledge. Our theory is supported by meta-analysis of scientific, historic, and religious literature, observations and first principles logic. (shrink)

A perspective in the philosophy of mathematics is developed from a consideration of the strengths and limitations of both logicism and platonism, with an early focus on Frege’s work. Importantly, although many set-theoretic structures may be developed each of which offers limited isomorphism with the system of natural numbers, no one of them may be identified with it. Furthermore, the timeless, ever present nature of mathematical concepts and results itself offers direct access, in the face of a platonist account which (...) generates a supposed problem of access. Crucially too, pure mathematics has its own distinctive method of confirming or validating results - mathematical proof - which supplies a higher level of confidence and objectivity than that available elsewhere. The dichotomy of invention and discovery is too jejune a framework for analysing creative mathematical activity. The Gödelian platonist perspective is evaluated and queried through scrutiny of the part played by mathematical resources and constraints in relation to human activity. It appears that there can be non-causal mathematical explanations and mathematical constraint on purely natural processes. Valuable implications of Quine’s naturalism are explored, but one must be cautious of his thesis of confirmational holism. The distinction between algebraic and non-algebraic mathematical theories usefully contributes to our understanding of the internally differentiated nature of the subject. (shrink)

The goal of this unique text is to provide an "experience" that would facilitate a better transition for mathematics majors to the advanced proof-based courses required for their major. If you "love mathematics, but I hate proofs" this book is for you. Example-based courses such as introductory Calculus transition somewhat abruptly, and without a warning label, to proof-based courses, and may leave students with the unpleasant feeling that a subject they loved has turned into material they find hard to understand. (...) The book exposes students and readers to the fundamental nature and principles of constructing mathematical proofs and in the context of main courses required for the major, e.g., probability, linear algebra, real analysis, and abstract algebra. Four short chapters, each chapter focusing on a particular course, provide a short but rigorous introduction. Students then get a preview of the discipline, its focus, language, mathematical objects of interests, and common methods of proof presented in those courses. Because which ideas apply to which future courses may not be obvious in many transition courses, this structure addresses this need. The book may also be used as a review tool at the end of course and for readers who want to learn the language and scope of the broad disciplines of linear algebra, abstract algebra, real analysis, and probability, before transitioning to these courses. (shrink)

This paper considers hybrid systems — dynamical systems that exhibit both continuous and discrete behavior. Usually, in these systems, interactions between the continuous and discrete dynamics occur when a pre-defined function becomes equal to zero, i.e., in the system occurs a zero-crossing (the situation where the function only “touches” zero is considered as the zero-crossing, as well). Determination of zero-crossings plays a crucial role in the correct simulation of the system in this case. However, for models of many real-life hybrid (...) systems, such interactions may lead to the so-called Zeno executions, i.e., situations where the system undergoes an unbounded number of discrete transitions in a finite and bounded length of time. In this case, standard numerical methods of simulating the systems may fail, since the time between two transitions can decrease significantly leading to ill-conditioning of the simulation. Correct determination of zero-crossings for a complex real-life system can require a lot of computational resources and, as a consequence, slow down the simulation significantly. This paper presents a new way to execute the simulation generating time observations of the hybrid system dynamically using numerical infinitesimals introduced recently, allowing thus to determine zero-crossings more accurately. The proposed method allows to automatically detect zero-crossings with predefined accuracy and to analyze better the behavior of the system around the zero-crossings generating observations more densely, where it is necessary. Moreover, the search for zero-crossings is performed efficiently without re-evaluation of the whole system at each observation. To show the validity of the proposed algorithm, the well-known Bouncing Ball hybrid system has been studied and the obtained simulation results were compared with the standard method. (shrink)

Sand drawings are introduced in relation to the fieldwork of British anthropologists John Layard and Bernard Deacon early in the twentieth century, and the status of sand drawings as mathematics is discussed in the light of Wittgenstein’s idea that “in mathematics process and result are equivalent”. Included are photographs of the illustrations in Layard’s own copy of Deacon’s “Geometrical Drawings from Malekula and other Islands of the New Hebrides” (1934). This is a brief companion to my article “Wittgenstein on string (...) figures as mathematics” (2022), published in the journal Philosophical Investigations. (shrink)