Class information for:
Level 1: PERVAS ICT//FORMAL PEANO ARITHMETIC//LUCAS PENROSE THESIS

Basic class information

Class id #P Avg. number of
references
Database coverage
of references
35976 88 29.4 20%



Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes

The table includes all classes above and classes immediately below the current class.



Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
621 3       MEMBRANE COMPUTING//THEORETICAL COMPUTER SCIENCE//LOGIC 13680
2585 2             LOGIC//JOURNAL OF SYMBOLIC LOGIC//ANNALS OF PURE AND APPLIED LOGIC 3649
35976 1                   PERVAS ICT//FORMAL PEANO ARITHMETIC//LUCAS PENROSE THESIS 88

Terms with highest relevance score



rank Term termType Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 PERVAS ICT address 867485 6% 50% 5
2 FORMAL PEANO ARITHMETIC authKW 693992 2% 100% 2
3 LUCAS PENROSE THESIS authKW 693992 2% 100% 2
4 PETR VOPENKA authKW 693992 2% 100% 2
5 LUCAS PENROSE ARGUMENT authKW 462660 2% 67% 2
6 ALGORITHMIC ECONOMICS authKW 346996 1% 100% 1
7 AMBIENT INTELLIGENT ENVIRONMENTS authKW 346996 1% 100% 1
8 BIOLOGICAL MATHEMATICS authKW 346996 1% 100% 1
9 CANTORS DIAGONAL PROOF authKW 346996 1% 100% 1
10 COLLECTIVE DIFFERENTIATION authKW 346996 1% 100% 1

Web of Science journal categories



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 Philosophy 2421 26% 0% 23
2 Logic 840 7% 0% 6
3 Psychology, Biological 549 9% 0% 8
4 Telecommunications 451 19% 0% 17
5 Computer Science, Theory & Methods 167 13% 0% 11
6 COMPUTER APPLICATIONS & CYBERNETICS 131 1% 0% 1
7 Computer Science, Artificial Intelligence 122 10% 0% 9
8 Behavioral Sciences 99 8% 0% 7
9 Computer Science, Information Systems 72 8% 0% 7
10 Computer Science, Software Engineering 67 7% 0% 6

Address terms



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 PERVAS ICT 867485 6% 50% 5
2 FYZIKY INFORMAT 346996 1% 100% 1
3 GAMING FUTU PROJECT 346996 1% 100% 1
4 INHABITED ENVIRONM GRP 346996 1% 100% 1
5 MEDIA INTER ES GRP 346996 1% 100% 1
6 TEORETICKA STUDIA SPOLECNE PRACOVISTE 346996 1% 100% 1
7 WISSEN TECHNIKFOR UNG 346996 1% 100% 1
8 FAK INFORMACNICH TECHNOL 173497 1% 50% 1
9 RAD MULTIMEDIA 173497 1% 50% 1
10 BROADBAND PLICAT 69398 1% 20% 1

Journals



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 BT TECHNOLOGY JOURNAL 62693 15% 1% 13
2 FILOSOFICKY CASOPIS 14488 5% 1% 4
3 PHILOSOPHIA MATHEMATICA 10756 2% 2% 2
4 MINDS AND MACHINES 6367 3% 1% 3
5 PERSPECTIVES IN COMPUTING 6086 1% 2% 1
6 JOURNAL OF PHILOSOPHY 5058 5% 0% 4
7 JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING 4139 2% 1% 2
8 BEHAVIORAL AND BRAIN SCIENCES 3651 8% 0% 7
9 JOURNAL OF PHILOSOPHICAL LOGIC 3476 3% 0% 3
10 THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY 2425 1% 1% 1

Author Key Words



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
LCSH search Wikipedia search
1 FORMAL PEANO ARITHMETIC 693992 2% 100% 2 Search FORMAL+PEANO+ARITHMETIC Search FORMAL+PEANO+ARITHMETIC
2 LUCAS PENROSE THESIS 693992 2% 100% 2 Search LUCAS+PENROSE+THESIS Search LUCAS+PENROSE+THESIS
3 PETR VOPENKA 693992 2% 100% 2 Search PETR+VOPENKA Search PETR+VOPENKA
4 LUCAS PENROSE ARGUMENT 462660 2% 67% 2 Search LUCAS+PENROSE+ARGUMENT Search LUCAS+PENROSE+ARGUMENT
5 ALGORITHMIC ECONOMICS 346996 1% 100% 1 Search ALGORITHMIC+ECONOMICS Search ALGORITHMIC+ECONOMICS
6 AMBIENT INTELLIGENT ENVIRONMENTS 346996 1% 100% 1 Search AMBIENT+INTELLIGENT+ENVIRONMENTS Search AMBIENT+INTELLIGENT+ENVIRONMENTS
7 BIOLOGICAL MATHEMATICS 346996 1% 100% 1 Search BIOLOGICAL+MATHEMATICS Search BIOLOGICAL+MATHEMATICS
8 CANTORS DIAGONAL PROOF 346996 1% 100% 1 Search CANTORS+DIAGONAL+PROOF Search CANTORS+DIAGONAL+PROOF
9 COLLECTIVE DIFFERENTIATION 346996 1% 100% 1 Search COLLECTIVE+DIFFERENTIATION Search COLLECTIVE+DIFFERENTIATION
10 COMPONENT AGGREGATION 346996 1% 100% 1 Search COMPONENT+AGGREGATION Search COMPONENT+AGGREGATION

Core articles

The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.



Rank Reference # ref.
in cl.
Shr. of ref. in
cl.
Citations
1 CHARLESWORTH, A , (2016) A THEOREM ABOUT COMPUTATIONALISM AND "ABSOLUTE" TRUTH.MINDS AND MACHINES. VOL. 26. ISSUE 3. P. 205 -226 8 80% 0
2 RAATIKAINEN, P , (2005) ON THE PHILOSOPHICAL RELEVANCE OF GODEL'S INCOMPLETENESS THEOREMS.REVUE INTERNATIONALE DE PHILOSOPHIE. VOL. 59. ISSUE 234. P. 513 -534 9 47% 0
3 MEGILL, JL , MELVIN, T , BEAL, A , (2014) ON SOME PROPERTIES OF HUMANLY KNOWN AND HUMANLY KNOWABLE MATHEMATICS.AXIOMATHES. VOL. 24. ISSUE 1. P. 81-88 3 100% 0
4 KASA, M , (2012) EXPERIMENTAL LOGICS, MECHANISM AND KNOWABLE CONSISTENCY.THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY. VOL. 78. ISSUE 3. P. 213-224 3 100% 0
5 WRIGHT, S , STEVENTON, A , (2004) INTELLIGENT SPACES - THE VISION, THE OPPORTUNITIES AND THE BARRIERS.BT TECHNOLOGY JOURNAL. VOL. 22. ISSUE 3. P. 15 -26 6 43% 7
6 FEFERMAN, S , (2009) GODEL, NAGEL, MINDS, AND MACHINES.JOURNAL OF PHILOSOPHY. VOL. 106. ISSUE 4. P. 201-219 2 100% 2
7 LINDSTROM, P , (2006) REMARKS ON PENROSE'S "NEW ARGUMENT".JOURNAL OF PHILOSOPHICAL LOGIC. VOL. 35. ISSUE 3. P. 231-237 2 100% 2
8 PAYNE, R , MACDONALD, B , (2004) AMBIENT TECHNOLOGY - NOW YOU SEE IT, NOW YOU DON'T.BT TECHNOLOGY JOURNAL. VOL. 22. ISSUE 3. P. 119-129 2 100% 1
9 BRISCOE, R , (2004) THE IMPLICATIONS OF PERVASIVE COMPUTING ON NETWORK DESIGN.BT TECHNOLOGY JOURNAL. VOL. 22. ISSUE 3. P. 170 -190 5 33% 5
10 BECERRA, G , KREMER, R , (2011) AMBIENT INTELLIGENT ENVIRONMENTS AND ENVIRONMENTAL DECISIONS VIA AGENT-BASED SYSTEMS.JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING. VOL. 2. ISSUE 3. P. 185-200 3 38% 2

Classes with closest relation at Level 1



Rank Class id link
1 17404 HYPERCOMPUTATION//CHURCH TURING THESIS//ANALOG COMPUTATION
2 35257 ALPHABETISATION//INACCESSIBLE REAL NUMBERS//MEANING IN MATHEMATICS
3 35303 ACTIVE SPECTROSCOPY OF COHERENT LIGHT SCATTERING//OPTICAL STRENGTH OF WATER//CAPILLARY CUVETTE
4 37376 UNIVERSAL TESTING SEQUENCE//DECIDABILITY IN THE LIMIT//WEAK CONFORMANCE
5 25081 KNOWABILITY PARADOX//PARADOX OF KNOWABILITY//FITCHS PARADOX
6 13423 REVERSE MATHEMATICS//LOGIC//FUNCTIONAL INTERPRETATION
7 36223 SAMUEL HAHNEMANN//THEORY OF MEDICINE//MODERN MEDICINE
8 14168 DEFLATIONISM//LIAR PARADOX//YABLOS PARADOX
9 16121 PHILOSOPHIA MATHEMATICA//INDISPENSABILITY ARGUMENT//MATHEMATICAL REALISM
10 30220 BIOS//RUSSELL PARADOX//ACTIVITY SYSTEMS THEORY OF SOCIETY

Go to start page