SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Volumn 43, Issue 1, 1995, Pages 29-66

The computable testability of theories making uncomputable predictions

(2) Kelly, Kevin T a Schulte, Oliver a

a CARNEGIE MELLON UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34249756167 PISSN: 01650106 EISSN: 15728420 Source Type: Journal
DOI: 10.1007/BF01131839 Document Type: Article

Times cited : (17)

References (16)

1
- 0001279764
- Probabilities over Rich Languages, Testing and Randomness
- (1982) Journal of Symbolic Logic , vol.47 , pp. 495-548
- Gaifman, H.¹ Snir, M.²

2
- 0002295357
- Limiting Recursion
- (1965) Journal of Symbolic Logic , vol.30 , pp. 27-48
- Gold, E.M.¹

3
- 0003477732
- Springer, New York
- (1978) Recursion-Theoretic Hierarchies
- Hinman, P.G.¹

4
- 26944497154
- Reichenbach, Induction, and Discovery
- (1991) Erkenntnis , vol.35 , pp. 123-149
- Kelly, K.¹

5
- 77958400914
- Learning Theory and Descriptive Set Theory
- (1993) Journal of Logic and Computation , vol.3 , pp. 27-45
- Kelly, K.¹

6
- 0004271130
- Oxford University Press, New York
- (1995) The Logic of Reliable Inquiry
- Kelly, K.¹

7
- 84934494776
- Thoroughly Modern Meno
- J., Earman, University of California Press, Berkeley
- (1992) Inference, Explanation, and other Frustrations , pp. 3-22
- Kelly, K.¹ Glymour, C.²

8
- 0003673520
- MIT Press, Cambridge
- (1986) Systems that Learn
- Osherson, D.¹ Stob, M.² Weinstein, S.³

9
- 84934465396
- Peirce, C. S.: 1935, Collected Papers of Charles Sanders Peirce, C. Hartshorne and P. Weiss (eds).

10
- 0003699334
- Harper, New York
- (1968) The Logic of Scientific Discovery
- Popper, K.¹

11
- 0003744625
- Springer, New York
- (1980) Computability in Analysis and Physics
- Pour-El, M.¹ Richards, J.²

12
- 0040866883
- “Degree of Confirmation” and Inductive Logic
- A., Schilpp, Open Court, Lasalle, Illinois
- (1963) The Philosophy of Rudolph Carnap
- Putnam, H.¹

13
- 0002019785
- Trial and Error Predicates and a Solution to a Problem of Mostowski
- (1965) Journal of Symbolic Logic , vol.30 , pp. 49-57
- Putnam, H.¹

14
- 0004166251
- Cambridge University Press, London
- (1949) The Theory of Probability
- Reichenbach, H.¹

15
- 0004138172
- MIT Press, Cambridge
- (1987) The Theory of Recursive Functions and Effective Computability
- Rogers, H.¹

16
- 0040866884
- Sextus Empiricus, P., Hallie, S., Etheridge, Hackett, Indianapolis
- (1985) Selections from the Major Writings on Scepticism, Man & God

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.