About: The Notion of Problem, Intuitionism and Partiality

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: The Notion of Problem, Intuitionism and Partiality Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Problems are defined as abstract procedures. An explication of procedures as used in Transparent Intensional Logic (TIL) and called constructions is presented and the subclass of constructions called concepts is defined. Concepts as closed constructions modulo alfa- and eta-conversion can be associated with meaningful expressions of a natural or professional language in harmony with Church's conception. Thus every meaningful expression expresses a concept. Since every problem can be unambiguously determined by a concept we can state that every problem is a concept and every concept can be viewed as a problem. Kolmogorov's idea of a connection between problems and Heyting's calculus is examined and the non-classical features of the latter are shown to be compatible with realistic logic using partial functions. Problems are defined as abstract procedures. An explication of procedures as used in Transparent Intensional Logic (TIL) and called constructions is presented and the subclass of constructions called concepts is defined. Concepts as closed constructions modulo alfa- and eta-conversion can be associated with meaningful expressions of a natural or professional language in harmony with Church's conception. Thus every meaningful expression expresses a concept. Since every problem can be unambiguously determined by a concept we can state that every problem is a concept and every concept can be viewed as a problem. Kolmogorov's idea of a connection between problems and Heyting's calculus is examined and the non-classical features of the latter are shown to be compatible with realistic logic using partial functions. (en)
Title	The Notion of Problem, Intuitionism and Partiality The Notion of Problem, Intuitionism and Partiality (en)
skos:prefLabel	The Notion of Problem, Intuitionism and Partiality The Notion of Problem, Intuitionism and Partiality (en)
skos:notation	RIV/00216224:14330/08:00028788!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/05/2781), P(GA401/07/0451), P(IAA0009001), Z(AV0Z90090514)
http://linked.open...iv/cisloPeriodika	17
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Materna, Pavel
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	382995
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/08:00028788
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	abstract procedures; constructions; effective procedures; concepts; partiality (en)
http://linked.open.../riv/klicoveSlovo	partiality concepts constructions abstract procedures effective procedures
http://linked.open...odStatuVydavatele	PL - Polská republika
http://linked.open...ontrolniKodProRIV	[C335CF8807A0]
http://linked.open...i/riv/nazevZdroje	Logic and logical philosophy
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Semantisation of Pragmatics Translation of Czech sentences to transparent intensional logic constructions LOGICA: A series of international interdisciplinary conferences and academic publications.
http://linked.open...UplatneniVysledku	2008
http://linked.open...v/svazekPeriodika	17
http://linked.open...iv/tvurceVysledku	Materna, Pavel
http://linked.open...n/vavai/riv/zamer	Transdisciplinary research into selected key areas of philosophy and related disciplines, in particular, logic, classical and medieval studies, and the theory of science. Editions and publications of corresponding texts and electronic databases.
issn	1425-3305
number of pages	17 (xsd:int)
http://localhost/t...ganizacniJednotka	14330
is http://linked.open...avai/riv/vysledek of	The Notion of Problem, Intuitionism and Partiality The Notion of Problem, Intuitionism and Partiality The Notion of Problem, Intuitionism and Partiality The Notion of Problem, Intuitionism and Partiality

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software