Temat: Intuitionism - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)
Autorzy:: Wójcicki, Ryszard
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: mathematics
formalism
realism
intuitionism
truth; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
Autorzy:: Niki, Satoru
Data publikacji:: 2020-12-30
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: empirical negation
co-negation
labelled sequent calculus
intuitionism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
Autorzy:: Niki, Satoru
Data publikacji:: 2020-11-04
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: empirical negation
co-negation
Beth semantics
Kripke semantics
intuitionism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: O poglądach Floriana Bochwica. Rozdział z dziejów myśli polskiej
On the Views of Florian Bochwic (a Chapter from the history of Polish Thought)
Autorzy:: Jadacki, Jacek Juliusz
Data publikacji:: 2004
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: absolutyzm aksjologiczny
dualizm ontologiczny
intuicjonizm
kreacjonizm
axiological absolutism
ontological dualism
intuitionism
creationism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: All the mathematics in the world: logical validity and classical set theory
Autorzy:: McCarty, David Charles
Data publikacji:: 2017
Wydawca:: Copernicus Center Press
Tematy:: ustification of deduction
set validity
class validity
general validity
intuitionism
topological models; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Kryzys podstaw matematyki przełomu XIX i XX wieku
Autorzy:: Fila, Marlena
Data publikacji:: 2014
Wydawca:: Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:: set theory
logicism
intuitionism
formalism
crisis of the basis of mathematics
finitary methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Kilka uwag o przedmiocie logiki intuicjonistycznej
A few remarks on the subject of intuitionist logic
Einige Anmerkungen zum Gegenstand des intuitionistischen Aussagenkalküls
Autorzy:: Czernecka, Bożena
Data publikacji:: 2001
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
filozofia logiki
filozofia matematyki
intuicjonizm
Heyting
logic
philosophy of logic
philosophy of mathematics
intuitionism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: O platonizmie w teorii mnogości
On Platonism in Set Theory
Autorzy:: Król, Zbigniew
Data publikacji:: 2003
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: platonizm
teoria mnogości
hermeneutyka matematyki
fenomenologia
Heidegger
konstruktywizm
intuicjonizm
platonism
set theory
hermeneutics of mathematics
phenomenology
constructivism
intuitionism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Filozofia i logika intuicjonizmu
Autorzy:: Fila, Marlena
Data publikacji:: 2015
Wydawca:: Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:: intuitionism
axioms
matrices truth-
Heyting system
Gödel theorem about the inadequacy of finite dimensional matrices for Heyting system
infinite sequence of matrices; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Filozofowie personalistycznego przebudzenia: Karol Wojtyła i Tadeusz Styczeń
Philosophers of the Personalist Awakening: Karol Wojtyła and Tadeusz Styczeń
Autorzy:: Wierzbicki, Alfred Marek
Data publikacji:: 2020
Wydawca:: Karpacka Państwowa Uczelnia w Krośnie
Tematy:: osoba
moralność
personalizm
norma personalistyczna
doświadczenie moralne
intuicjonizm etyczny
etyka niezależna
person
morality
personalism
personalist norm
moral experience
ethical intuitionism
autonomous ethics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Intuitionism" wg kryterium: Temat