Temat: axiom - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Aksjomat ciagłosci w rozprawie Bernarda Bolzana Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege
Continuity axiom in Bolzano’s memoir Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege
Autorzy:: Fila, Marlena
Powiązania:: https://bibliotekanauki.pl/articles/1791027.pdf
Data publikacji:: 2018-07-01
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:: Bernard Bolzano
Rein analytischer Beweis
continuity axiom
Archimedean axiom
Opis:: Bernard Bolzano’s paper Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege was published in 1817. It presents a ”purely analytic proof” of the intermediate value theorem for the polynomials of variable x. Aside from polynomials, Bolzano considers other kinds of functions, however the domain of these functions is not clearly defined. In this article, we show that the variable x ranges over real numbers. Specifically, we identify the axioms for the ordered field that Bolzano implicitly applies. We also identify the versions of continuity axiom, and show that while some of them are implicitly applied, others are explicitly stated as ”basics truths”.
Źródło:: Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia; 2017, 9; 37-48
2080-9751
2450-341X
Pojawia się w:: Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Aksjomat multiplikatywny Russela
Russells Multiplicative Axiom
Autorzy:: Lewandowska, Katarzyna
Powiązania:: https://bibliotekanauki.pl/articles/691286.pdf
Data publikacji:: 2012
Wydawca:: Copernicus Center Press
Tematy:: philosophy of mathematics
multiplicative axiom
axiom of choice
Bertrand Russell
Opis:: We present the history of two parallel (and equivalent) discoveries: the axiom of choice and the multiplicative axiom. Firstly, we consider the origins of the formulation of the multiplicative axiom. Next, we concentrate on Russell’s attitude towards the role of this axiom, which is closely related to his philosophy of mathematics. We also highlight some diﬀerences between Russell’s and Zermelo’s propositions.
Źródło:: Zagadnienia Filozoficzne w Nauce; 2012, 50; 152-166
0867-8286
2451-0602
Pojawia się w:: Zagadnienia Filozoficzne w Nauce
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Aksjomat regularności a regularność zbioru
The axiom of regularity and regularity of set
Autorzy:: Jaworski, Krzysztof
Powiązania:: https://bibliotekanauki.pl/articles/516534.pdf
Data publikacji:: 2014
Wydawca:: Uniwersytet Szczeciński. Wydział Teologiczny
Tematy:: aksjomat regularności
aksjomat ufundowania
hiperzbiory
hierarchia kumulatywna
błędne koło
cyrkularność
samozwrotność
regularity axiom
foundation axiom
hypersets
cumulative hierarchy
vicious circle
circularity
self-reference
Opis:: Artykuł prezentuje różne postacie aksjomatu regularności (FA) oraz jego konsekwencje w systemie Zermelo-Fraenkla (ZFC). W pracy zasygnalizowane są pewne zastrzeżenia wobec FA oraz fakt, że nie jest on nieodzowny. Aksjomat ufundowania zachowuje swój apodyktyczny charakter tylko na gruncie teorii zbiorów regularnych – w innych przypadkach może nie być spełniony przez wszystkie zbiory. Jedna z najbardziej popularnych wersji FA nie może być traktowana jako miernik regularności zbiorów – nie oddaje ona bowiem w pełni ducha idei ufundowania
The paper presents different formulations of regularity axiom (FA) and its consequences in Zermelo-Fraenkel’s system (ZFC). Some objections to the axiom are emphasized and its indispensability is examined. It is also proved that FA in one of its formulations cannot be treated like a measure of sets regularity, because it doesn't meet the requirements that it was intended to meet.
Źródło:: Studia Paradyskie; 2014, 24; 127-141
0860-8539
Pojawia się w:: Studia Paradyskie
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Aksjomat wyboru w pracach Wacława Sierpińskiego
The axiom of choice in the papers of Wacław Sierpiński
Autorzy:: Lewandowska, Katarzyna
Powiązania:: https://bibliotekanauki.pl/articles/690558.pdf
Data publikacji:: 2013
Wydawca:: Copernicus Center Press
Tematy:: axiom of choice
philosophy of mathematics
set theory
cardinality
mathematical analysis
Opis:: This paper presents Wacław Sierpiński – the first advocate of the axiom of choice. We focus on the philosophical and mathematical topics related to the axiom of choice which were considered by Sierpiński. We analyze some of his papers to show how his results effected the debate over Zermelo’s axiom. Sierpiński’s impact on this discussion is of particular importance since he was the first who tried to explore consequences of the axiom of choice thoroughly and asserted its undoubted significance to mathematics as a whole.
Źródło:: Zagadnienia Filozoficzne w Nauce; 2013, 52; 9-33
0867-8286
2451-0602
Pojawia się w:: Zagadnienia Filozoficzne w Nauce
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Almost disjoint families and property (a)
Autorzy:: Szeptycki, Paul
Vaughan, Jerry
Powiązania:: https://bibliotekanauki.pl/articles/1205285.pdf
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: property (a), density
extent
almost disjoint families
Ψ-space
CH
GCH
Martin's Axiom
$\got p = \got c$
Cohen forcing
Q-set
weakly inaccessible cardinal.
Opis:: We consider the question: when does a Ψ-space satisfy property (a)? We show that if $|A| < \got p$ then the Ψ-space Ψ(A) satisfies property (a), but in some Cohen models the negation of CH holds and every uncountable Ψ-space fails to satisfy property (a). We also show that in a model of Fleissner and Miller there exists a Ψ-space of cardinality $\got p$ which has property (a). We extend a theorem of Matveev relating the existence of certain closed discrete subsets with the failure of property (a).
Źródło:: Fundamenta Mathematicae; 1998, 158, 3; 229-240
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Antynomia kłamcy a teoria hiperzbiorów
Liar Paradox and the Hyperset Theory
Autorzy:: Jaworski, Krzysztof
Powiązania:: https://bibliotekanauki.pl/articles/516517.pdf
Data publikacji:: 2017
Wydawca:: Uniwersytet Szczeciński. Wydział Teologiczny
Tematy:: hiperzbiór
antynomia kłamcy
aksjomat antyufundowania
model
sąd
prawda
hyperset
Liar paradox
anti-foundation axiom
proposition
truth
Opis:: Celem artykułu jest prezentacja jednego z filozoficznych zastosowań teorii hiperzbiorów ZFA. Autorami tego pomysłu są Barwise i Etchemendy, którzy proponują nowe rozwiązanie antynomii kłamcy. Artykuł przedstawia tzw. koncepcję sądu (i prawdziwości) w ujęciu Russella. Zgodnie z tą koncepcją sąd Kłamcy posiada teoriomnogościową reprezentację w postaci obiektu . Zapis ten należy odczytywać: „sąd to sąd, który głosi, że jest fałszywy”. Kluczem do omawianego rozwiązania jest zdefiniowanie dwóch typów paradoksalności: paradoksalności względnej i paradoksalności bezwzględnej. Sąd jest paradoksalny bezwzględnie, jeżeli jest paradoksalny w każdym świecie, natomiast jest paradoksalny względnie, jeżeli jest paradoksalny w pewnych światach, ale nie we wszystkich.
The objective of the paper is to discuss one of the philosophical applications of the hyperset theory ZFA. The idea is due to Barwise and Etchemendy, who proposed a new solution to the Liar paradox. The solution involves Russellian account of proposition (and truth). According to Russellian account, Liar proposition may be represented in set theory as: , to be read: „proposition is a proposition stating that is false”. The solution is based on the distinction between two kinds of paradoxicality: contingent paradoxicality and intrinsical paradoxicality. A proposition is intrinsically paradoxical, if it is paradoxical in every world, and is contingently paradoxical if it is paradoxical in some worlds but not in others.
Źródło:: Studia Paradyskie; 2017, 27; 187-206
0860-8539
Pojawia się w:: Studia Paradyskie
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Boundaries, Martins Axiom, and (P)-properties in dual Banach spaces
Autorzy:: Granero, Antonio S.
Hernández, Juan M.
Powiązania:: https://bibliotekanauki.pl/articles/745016.pdf
Data publikacji:: 2016
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: Boundaries, Martin's Axiom, equality $Seq(X^{**})=X^{**}$, super-(P) property
Opis:: Let $X$ be a~Banach space and $\mathcal{S} \mathit{eq}(X^{**})$ (resp., $X_{\aleph_0}$) the subset of elements $\psi\in X^{**}$ such that there exists a~sequence $(x_n)_{n\geq 1}\subset X$ such that $x_n\to \psi$ in the $w^*$-topology of $X^{**}$ (resp., there exists a~separable subspace $Y\subset X$ such that $\psi\in \smash{{\overline{Y}^{w^*}}}$). Then: (i) if $\operatorname{Dens}(X)\geq \aleph _1$, the property $X^{**}=X_{\aleph _0}$ (resp., $X^{**}=\mathcal{S}\mathit{eq}(X^{**})$) is $\aleph _1$-determined, i.e., $X$~has this property iff $Y$ has, for every subspace $Y\subset X$ with $\operatorname{Dens}(Y)=\aleph _1$; (ii) if $X^{**}=X _{\aleph _0}$, $ (B(X^{**}),w^*)$ has countable tightness; (iii) under the Martin's axiom $\mathit{MA} (\omega _1)$ we have $X^{**}=\mathcal{S}\mathit{eq}(X^{**})$ iff $(B(X^*),w^*)$ has countable tightness and $\\overline {\text {co}}(B)=\overline {\text {co}} ^{w^*}(K)$ for every subspace $Y\subset X$, every $w^*$-compact subset $K$ of $Y^*$, and every boundary $B\subset K$.
Źródło:: Commentationes Mathematicae; 2016, 56, 1
0373-8299
Pojawia się w:: Commentationes Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?
Autorzy:: Marciszewski, Witold
Powiązania:: https://bibliotekanauki.pl/articles/561316.pdf
Data publikacji:: 2018
Wydawca:: Polskie Towarzystwo Semiotyczne
Tematy:: Algorithm
arithmetic
axiom
axiomatic formalized theory
concept
decidability
feedback
insight (intuition)
mathematics
mechanism
mentalism
oracle
problem
problem-solving
progress
routine procedure
science
solvability
Opis:: The affirmative answer to the title question is justified in two ways: logical and empirical. (1) The logical justification is due to Gödel’s discovery (1931) that in any axiomatic formalized theory, having at least the expressive power of PA (Peano Arithmetic), at any stage of development there must appear unsolvable problems. However, some of them become solvable in a further development of the theory in question, owing to subsequent investigations. These lead to new concepts, expressed with additional axioms or rules. Owing to the so-amplified axiomatic basis, new routine procedures like algorithms, can be reached. Those, in turn, help to gain new insights which lead to still more powerful axioms, and consequently again to ampler algorithmic resources. Thus scientific progress proceeds to an ever higher scope of solvability. (2) The existence of such feedback cycles – in a formal way rendered with Turing’s systems of logic based on ordinal (1939) – gets empirically supported by the history of mathematics and other exact sciences. An instructive instance of such a process is found in the history of the number zero. Without that insight due to some ancient Hindu mathematicians there could not arise such an axiomatic theory as PA. It defines the algorithms of arithmetical operations, which in turn help intuitions; those, in turn, give rise to algorithmic routines, not available in any of the previous phases of the process in question. While the logical substantiation of the point of this essay is a well-established result of logico-semantic inquiries, its empirical claim, based on historical evidences, remains open for discussion. Hence the author’s intention to address philosophers and historians of science, and to encourage their critical responses.
Źródło:: Studia Semiotyczne; 2018, 32, 2; 153-185
0137-6608
Pojawia się w:: Studia Semiotyczne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Elementy teorii użyteczności w analizie procesu nauczania
Elements of utility theory and analysis of teaching process
Autorzy:: Kołwzan, W.
Pieronek, J.
Powiązania:: https://bibliotekanauki.pl/articles/348401.pdf
Data publikacji:: 2011
Wydawca:: Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
Tematy:: nauczanie
proces
zarządzanie
aksjomatyka
teoria użyteczności
społeczny wybór
teaching
process
management
axiom system
utility theory
social choice
Opis:: W artykule podjęto próbę oceny procesu kształcenia z pozycji teorii użyteczności i teorii społecznego wyboru. Umieszczony on został w kontekście aksjomatyki i pragmatyki. Podkreślona została też rola e-nauczania. Położono także akcent na miary nauczania od strony szeroko rozumianej teorii wartości.
The authors attempt to carry out an analysis of the teaching process from the position of the utility theory and the social choice theory. They also stress the role of the value theory in the analysis of this process. The role of e-learning is also emphasized in the article.
Źródło:: Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki; 2011, 4; 325-331
1731-8157
Pojawia się w:: Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Filozofia matematyki Wacława Sierpińskiego
Sierpiński’s Philosophy of Mathematics
Autorzy:: Lewandowska, Katarzyna
Powiązania:: https://bibliotekanauki.pl/articles/691182.pdf
Data publikacji:: 2016
Wydawca:: Copernicus Center Press
Tematy:: Wacław Sierpiński
philosophy of mathematics
Axiom of Choice
the concept of correspondence
Opis:: The main aim of the paper was to draw attention to Wacław Sierpiński as not only a great mathematician but also a philosopher. We undertook the attempt of reconstruction of Sierpiński’s philosophy. To aim this goal we mainly based ourselves on Sierpiński’s habilitation lecture entitled The concept of correspondence in mathematics. The complementation of Sierpiński’s philosophical views were conclusions from his mathematical achievements, his scheme of research on The Axiom of Choice, and his attitude to this axiom.
Źródło:: Zagadnienia Filozoficzne w Nauce; 2016, 60; 53-81
0867-8286
2451-0602
Pojawia się w:: Zagadnienia Filozoficzne w Nauce
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Kilka uwag o Tezie Churcha i Aksjomacie Hilberta
Some remarks concerning Church's Thesis and Hilbert's Axiom
Autorzy:: Olszewski, Adam
Powiązania:: https://bibliotekanauki.pl/articles/690900.pdf
Data publikacji:: 2006
Wydawca:: Copernicus Center Press
Tematy:: Church's Thesis
Hilbert's Axiom
philosophy of mathematics
Opis:: Some facts concerning Church's Thesis are first reminded, then Hilbert's Axiom of Thought is formulated. Hilbert proposed this axiom in 1905. He believed that it belongs to a domain of knowledge that is prior with respect to mathematics. An attempt is made to apply this axiom to some considerations concerning Church's Thesis
Źródło:: Zagadnienia Filozoficzne w Nauce; 2006, 38; 114-126
0867-8286
2451-0602
Pojawia się w:: Zagadnienia Filozoficzne w Nauce
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Leon Chwisteks Theory of the Plurality of Realities in Art - Psychological Foundations
Autorzy:: Bednarz, Gabriel
Powiązania:: https://bibliotekanauki.pl/articles/647114.pdf
Data publikacji:: 2018
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Tematy:: Chwistek
theory of art
theory of manifold reality
logic
axiom
Opis:: In my article, I briefly present the axioms of Leon Chwistek’s theory of manifold reality (TMR). This theory is the basis of his theory of art (TMRA). The aim of my article is to present and discuss psychological foundations of Chwistek’s theory of art. In particular, I present and discuss: (1) two meanings of the notion “work of art” derived on the basis of two relations: work – experience of enthusiasm, and work – aesthetic experience; (2) two meanings of the notion “content of the work of art”; (3) relations between the axioms (beliefs) of TMR and means of every type of art contained in TMRA.
Źródło:: Studia Humanistyczne AGH; 2018, 17, 1
2084-3364
Pojawia się w:: Studia Humanistyczne AGH
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: On infinite partitions of lines and space
Autorzy:: Erdös, Paul
Jackson, Steve
Mauldin, R.
Powiązania:: https://bibliotekanauki.pl/articles/1205459.pdf
Data publikacji:: 1997
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: transfinite recursion
Martin's Axiom
forcing
geometry
infinite partitions
Opis:: Given a partition P:L → ω of the lines in $ℝ^n$, n ≥ 2, into countably many pieces, we ask if it is possible to find a partition of the points, $Q:ℝ^n → ω$, so that each line meets at most m points of its color. Assuming Martin's Axiom, we show this is the case for m ≥ 3. We reduce the problem for m = 2 to a purely finitary geometry problem. Although we have established a very similar, but somewhat simpler, version of the geometry conjecture, we leave the general problem open. We consider also various generalizations of these results, including to higher dimension spaces and planes.
Źródło:: Fundamenta Mathematicae; 1997, 152, 1; 75-95
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Optymalizacja kształtu i struktury drzewa według teorii jednorodnego rozkładu naprężeń
Optimization of tree structure and shape according to axiom of uniform stress
Autorzy:: Zajaczkowska, U.
Powiązania:: https://bibliotekanauki.pl/articles/972902.pdf
Data publikacji:: 2006
Wydawca:: Polskie Towarzystwo Leśne
Tematy:: wlasciwosci mechaniczne
wzrost roslin
biomechanika
rozklad naprezen jednorodny
obliczenia
lesnictwo
drzewa lesne
trees mechanical properties
biomechanics
adaptive growth
axiom of uniform stress
mechanical self−optimization of trees
Opis:: A review of optimization methods based on the axiom of uniform stress and finite element method (FEM) developed by Mattheck is given. Computer−aided optimization (CAO) and computer−aided internal organization (CAIO) methods for modeling adaptive growth of trees are described. Examples of mechanical self−optimization of internal structure and tree shape under various environmental conditions e.g. control of spiral grain formation, xylem ray structure, stem wound regeneration, sable−shaped tree stems, root system growth are discussed.
Źródło:: Sylwan; 2006, 150, 04; 53-58
0039-7660
Pojawia się w:: Sylwan
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: Presentation of Mathematical Induction by Formula of Algebra of Algorithms
Autorzy:: Ovsyak, V.
Ovsyak, O.
Petrushka, J.
Powiązania:: https://bibliotekanauki.pl/articles/114070.pdf
Data publikacji:: 2016
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: formula of the axiom of mathematical induction
tautology
truthful formula
ordering of the variable values
Opis:: The analysis of the axiom of mathematical induction, which is given by the formula of mathematical logics is presented in the paper. It has been established that the famous formula of mathematical induction is executed only in case of ordered values of the variable linked by a quantifier. This ordering is not described analytically. Algebra of algorithms is applied for an analytical description of ordering of the variable values. The axiom of mathematical induction is described by the formula of algebra of algorithms.
Źródło:: Measurement Automation Monitoring; 2016, 62, 11; 367-370
2450-2855
Pojawia się w:: Measurement Automation Monitoring
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "axiom" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język