Experimenting with Triangles

نویسندگان

چکیده

Is there anything like an experiment in mathematics? And if this is the case, what would distinguish a mathematical from thought experiment? In present paper, framework for practice of mathematics will be put forward, which consider as experimenting activity and proving activity. The relationship between these two activities explored more importantly distinction thought-experiments, real experiments, quasi experiments proofs pure provided. To do so, three examples with triangles introduced discussed.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Experimenting with eXtreme Design

Ontology Design Patterns (ODPs) support reusability and use of best practices in ontology engineering. Previous studies have shown that Content ODPs, in particular, have some measurable beneficial effects on the produced ontologies. However, another conclusion was that methodology and tool support was needed. Now such support exist, in the form of the XD methodology and the XD Tools. In this pa...

متن کامل

eskimo: EXPERIMENTING WITH SKELETONS

We discuss the lack of expressivity in some skeleton-based parallel programming frameworks. The problem is further exacerbated when approaching irregular problems and dealing with dynamic data structures. Shared memory programming has been argued to have substantial ease of programming advantages for this class of problems. We present the eskimo library which represents an attempt to merge the ...

متن کامل

Experimenting with Nonmonotonic Reasoning

In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theories and logic programs. It has an identiication system for generated theories, which allows us to reconstruct a logic program or a default theory from its identiier. Hence, exchanging test cases requires only exchangin...

متن کامل

Experimenting with Career Concerns

A manager who learns privately about a project over time may be reluctant to quit it if recognizing failure/lack of success hurts his reputation. In the banking industry, managers may want to roll over bad loans that would reflect poorly on their skills. How do distortions depend on expected project quality? What are the effects of releasing public information about quality? A key feature of ba...

متن کامل

Experimenting with Predicate Abstraction

Predicate abstraction is a technique employed in software model checking to produce abstract models that can be conservatively checked for property violations in reasonable time. The precision degree of different abstractions of the same program may differ based on (i) the set of predicates used; or (ii) the algorithmic technique employed to generate the model. In this paper we explain how we h...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Axiomathes

سال: 2022

ISSN: ['1122-1151', '1572-8390']

DOI: https://doi.org/10.1007/s10516-022-09639-x