標(biāo)題: Titlebook: Epistemology versus Ontology; Essays on the Philos P. Dybjer,Sten Lindstr?m,G. Sundholm Book 2012 Springer Science+Business Media Dordrecht [打印本頁] 作者: retort 時間: 2025-3-21 18:07
書目名稱Epistemology versus Ontology影響因子(影響力)
書目名稱Epistemology versus Ontology影響因子(影響力)學(xué)科排名
書目名稱Epistemology versus Ontology網(wǎng)絡(luò)公開度
書目名稱Epistemology versus Ontology網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Epistemology versus Ontology被引頻次
書目名稱Epistemology versus Ontology被引頻次學(xué)科排名
書目名稱Epistemology versus Ontology年度引用
書目名稱Epistemology versus Ontology年度引用學(xué)科排名
書目名稱Epistemology versus Ontology讀者反饋
書目名稱Epistemology versus Ontology讀者反饋學(xué)科排名
作者: 激勵 時間: 2025-3-21 21:02 作者: cylinder 時間: 2025-3-22 00:56
,Diphtherie, lobul?re Pneumonie, Scharlach,geometry and, in general, Hilbert’s axiomatic method, but also relativity theory and the so-called method of ideal elements. By drawing upon certain analogies rather than theory-constructions, these ideas affected not only his thinking about mathematics, but also his thinking about language and the nature of philosophy in general.作者: 倔強(qiáng)不能 時間: 2025-3-22 05:34 作者: RENAL 時間: 2025-3-22 09:16
Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turingr immediately after mentioning Turing, Wittgenstein frames what he calls a “variant” of Cantor’s diagonal proof. We present and assess Wittgenstein’s variant, contending that it forms a distinctive form of proof, and an elaboration rather than a rejection of Turing or Cantor.作者: BIAS 時間: 2025-3-22 13:58 作者: BIAS 時間: 2025-3-22 18:14 作者: 負(fù)擔(dān) 時間: 2025-3-22 23:15
Ahmed Ghazi,R. Devotini,Domenico Venezianoer logic has categorical characterizations of relevant mathematical structures, while set theory has non-standard models, amounts to no difference at all. Second order logic and set theory permit quite similar categoricity results on one hand, and similar non-standard models on the other hand.作者: magnate 時間: 2025-3-23 01:28 作者: 曲解 時間: 2025-3-23 08:58 作者: 虛弱 時間: 2025-3-23 11:35
Program Testing and the Meaning Explanations of Intuitionistic Type Theoryes. In particular we propose that testing for impredicative type theory should be based on the evaluation of open expressions. This is in contrast to our testing semantics for Martin-L?f’s predicative intuitionistic type theory which is based on the evaluation of closed expressions.作者: 虛情假意 時間: 2025-3-23 15:47 作者: attenuate 時間: 2025-3-23 18:33 作者: 和諧 時間: 2025-3-24 00:52
Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing the remark “Turings ‘machines’: these machines are humans who calculate. And one might express what he says also in the form of games”. Though most of the extant literature interprets the remark as a criticism of Turing’s philosophy of mind (that is, a criticism of forms of computationalist or func作者: Albinism 時間: 2025-3-24 06:10 作者: 物質(zhì) 時間: 2025-3-24 07:37
The “Middle Wittgenstein” and Modern Mathematics beginning of the 1930s when he starts to emphasise the autonomy of the grammar of language and to talk about grammatical pictures and language games as objects of comparison. By examining certain crucial features in this change in Wittgenstein’s thinking, it will be shown that he received decisive 作者: Hirsutism 時間: 2025-3-24 11:56
A Computational Interpretation of Forcing in Type Theoryt types. The argument was constructive, and so contains implicitly an algorithm which computes a witness that a given functional is uniformly continuous. We present here such an algorithm, which provides a possible computational interpretation of forcing.作者: Ebct207 時間: 2025-3-24 17:20
Program Testing and the Meaning Explanations of Intuitionistic Type Theorytionistic type theory are viewed as conjectures which can be tested in order to be corroborated or refuted. This point of view provides a new perspective on the meaning of hypothetical judgements, since tests for such judgements need methods for generating inputs. Among other things, we need to gene作者: 不合 時間: 2025-3-24 23:03 作者: Customary 時間: 2025-3-25 01:58
Machine Translation and Type Theoryrnate. Grammatical Frameword (GF) is introduced as an approach that uses type theory to provide high-quality translation between multiple languages. GF translation is fundamentally grammar-based but can be combined with statistical methods such as learning translation models from a corpus and rankin作者: 陰謀 時間: 2025-3-25 06:18
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructionsscheme and the power set axiom. The strength of .plus full separation is the same as that of second order arithmetic, using a straightforward realizability interpretation in classical second order arithmetic and the fact that second order Heyting arithmetic is already embedded in .plus full separati作者: gnarled 時間: 2025-3-25 10:53 作者: meritorious 時間: 2025-3-25 12:14 作者: 圓桶 時間: 2025-3-25 16:58
Kurzes Handbuch der Ophtalmologie the challenge of the restricted unprovability result; in (1931b) he responds to the second incompleteness theorem concerning the unprovability of consistency for a system S in S. He does so by bringing in semantic considerations and by pursuing novel, but also highly problematic directions: he argu作者: Colonnade 時間: 2025-3-25 22:21
https://doi.org/10.1007/978-1-4614-9469-0han a single witness. The reduction of .to .employs techniques from ordinal analysis which, when combined with a special double negation interpretation that respects extensionality, also show that .can be reduced to .with the negative power set axiom. As .augmented by the latter axiom can be interpr作者: 合唱團(tuán) 時間: 2025-3-26 03:06 作者: chastise 時間: 2025-3-26 08:11 作者: Ebct207 時間: 2025-3-26 08:48 作者: 緯度 時間: 2025-3-26 13:48
2214-9775 etween proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-L?f and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics?978-94-017-8238-8978-94-007-4435-6Series ISSN 2214-9775 Series E-ISSN 2214-9783 作者: BROTH 時間: 2025-3-26 20:13
978-94-017-8238-8Springer Science+Business Media Dordrecht. 2012作者: prolate 時間: 2025-3-27 00:17 作者: debble 時間: 2025-3-27 02:45 作者: 字的誤用 時間: 2025-3-27 08:01 作者: 投射 時間: 2025-3-27 10:16 作者: 使隔離 時間: 2025-3-27 14:05
,Diphtherie, lobul?re Pneumonie, Scharlach, beginning of the 1930s when he starts to emphasise the autonomy of the grammar of language and to talk about grammatical pictures and language games as objects of comparison. By examining certain crucial features in this change in Wittgenstein’s thinking, it will be shown that he received decisive 作者: 蒸發(fā) 時間: 2025-3-27 19:18 作者: disparage 時間: 2025-3-27 22:25
https://doi.org/10.1007/978-1-4612-4194-2tionistic type theory are viewed as conjectures which can be tested in order to be corroborated or refuted. This point of view provides a new perspective on the meaning of hypothetical judgements, since tests for such judgements need methods for generating inputs. Among other things, we need to gene作者: 水汽 時間: 2025-3-28 02:31 作者: 混合物 時間: 2025-3-28 09:58
Andrés M. Rousselot,Jing Zhang,Huaigui Liurnate. Grammatical Frameword (GF) is introduced as an approach that uses type theory to provide high-quality translation between multiple languages. GF translation is fundamentally grammar-based but can be combined with statistical methods such as learning translation models from a corpus and rankin作者: 檢查 時間: 2025-3-28 13:57
https://doi.org/10.1007/978-1-4614-9469-0scheme and the power set axiom. The strength of .plus full separation is the same as that of second order arithmetic, using a straightforward realizability interpretation in classical second order arithmetic and the fact that second order Heyting arithmetic is already embedded in .plus full separati作者: atopic 時間: 2025-3-28 15:35 作者: ensemble 時間: 2025-3-28 19:35 作者: Herd-Immunity 時間: 2025-3-29 02:51
Erratum to: Die Innervation der Capillaren,ntially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant’s philosophy this identification is impossible.作者: BILL 時間: 2025-3-29 04:17
https://doi.org/10.1057/9780333993828t types. The argument was constructive, and so contains implicitly an algorithm which computes a witness that a given functional is uniformly continuous. We present here such an algorithm, which provides a possible computational interpretation of forcing.作者: 男生如果明白 時間: 2025-3-29 10:44 作者: defendant 時間: 2025-3-29 15:17
Andrés M. Rousselot,Jing Zhang,Huaigui Liurnate. Grammatical Frameword (GF) is introduced as an approach that uses type theory to provide high-quality translation between multiple languages. GF translation is fundamentally grammar-based but can be combined with statistical methods such as learning translation models from a corpus and ranking translation candidates by probabilities.作者: 止痛藥 時間: 2025-3-29 16:41
Kant and Real Numbersntially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant’s philosophy this identification is impossible.作者: 嬉耍 時間: 2025-3-29 21:14 作者: 排他 時間: 2025-3-30 01:50 作者: 裹住 時間: 2025-3-30 05:50
Machine Translation and Type Theoryrnate. Grammatical Frameword (GF) is introduced as an approach that uses type theory to provide high-quality translation between multiple languages. GF translation is fundamentally grammar-based but can be combined with statistical methods such as learning translation models from a corpus and ranking translation candidates by probabilities.作者: 粗魯?shù)娜?nbsp; 時間: 2025-3-30 09:12 作者: Dungeon 時間: 2025-3-30 15:30 作者: Maximizer 時間: 2025-3-30 17:37
https://doi.org/10.1007/978-94-007-4435-6Constructive Type Theory; Dummett; Gentzen; Intuitionism; Martin-L?f; Martin-L?f‘s type theory; Mathematic作者: Gesture 時間: 2025-3-30 21:57 作者: neutrophils 時間: 2025-3-31 02:06
,Herstellung von Feuchtpr?paraten,We discuss both the historical roots of Skolem’s primitive recursive arithmetic, its essential role in the foundations of arithmetic, its relation to the finitism of Hilbert and Bernays, and its relation to Kant’s philosophy of mathematics.
