In this paper,we extend fermions tunneling radiation to the case of five-dimensional charged black holes by introducing a set of appropriate matrices γμ for general covariant Dirac equation of 1/2 spin charged Dirac...In this paper,we extend fermions tunneling radiation to the case of five-dimensional charged black holes by introducing a set of appropriate matrices γμ for general covariant Dirac equation of 1/2 spin charged Dirac particles in the electromagnetic field.It is expected that our result can strengthen the validity and power of the tunneling method.We take the charged Gdel black holes in minimal five-dimensional gauged supergravity for example in order to present a reasonable extension of the tunneling method.As a result,we get fermions tunneling probability of the black hole and the Hawking temperature near the event horizon.展开更多
The aim of this paper is to investigate the area spectrum of the three-dimensional Godel black hole by using two different methods. The result shows that the area spectrum of the black hole is △A = 8πl2p, which conf...The aim of this paper is to investigate the area spectrum of the three-dimensional Godel black hole by using two different methods. The result shows that the area spectrum of the black hole is △A = 8πl2p, which confirms the initial proposal of Bekenstein that the area spectrum is independent of black hole parameters and the spacing is 8πl2p.展开更多
If the concept of proof （including arithmetic proof） is syntactically restricted to closed sentences （or their Godel numbers）, then the standard accounts of Godel＇s Incompleteness Theorems （and Lob＇s Theorem） ...If the concept of proof （including arithmetic proof） is syntactically restricted to closed sentences （or their Godel numbers）, then the standard accounts of Godel＇s Incompleteness Theorems （and Lob＇s Theorem） are blocked. In these standard accounts （Godel＇s own paper and the exposition in Boolos＇ Computability and Logic are treated as exemplars）, it is assumed that certain formulas （notably so called ＂Godel sentences＂） containing the Godel number of an open sentence and an arithmetic proof predicate are closed sentences. Ordinary usage of the term ＂provable＂ （and indeed ＂unprovable＂） favors their restriction to closed sentences which unlike so-called open sentences can be true or false. In this paper the restricted form of provability is called strong provability or unprovability. If this concept of proof is adopted, then there is no obvious alternative path to establishing those theorems.展开更多
Godel asserts that his philosophy falls under the category of conceptual realism. This paper gives a general picture of GOdel＇s conceptual realism＇s basic doctrines, and gives a way to understand conceptual realism ...Godel asserts that his philosophy falls under the category of conceptual realism. This paper gives a general picture of GOdel＇s conceptual realism＇s basic doctrines, and gives a way to understand conceptual realism in the background of Leibniz＇s and Kant＇s philosophies. Among philosophers of mathematics, there is a widespread view that Platonism encounters an epistemological difficulty because we do not have sensations of abstract objects. In his writings, Grdel asserts that we have mathematical intuitions of mathematical objects. Some philosophers do not think it is necessary to resort to intuition to defend Platonism, and other philosophers think that the arguments resorting to intuition are too naive to be convincing. I argue that the epistemic difficulty is not particular to Platonism; when faced with skepticism, physicalists also need to give an answer concerning the relationship between our experience and reality. Grdel and Kant both think that sensations or combinations of sensations are not ideas of physical objects, but that, to form ideas of physical objects, concepts must be added. However, unlike Kant, Grdel thinks that concepts are not subjective but independent of our minds. Based on my analysis of Grdel＇s conceptual realism, I give an answer to the question in the title and show that arguments resorting to intuition are far from naive, despite what some philosophers have claimed.展开更多
本文首先介绍了Gdel的不完全性定理和不可判定的概念。其次指出在二阶的标准分析模型M中,普遍存在不可判定的积分公式,如A_6:integral from n=0 to =∞sintdt=1等。第三,本文介绍了物理学Coulomb散射中的通用的数学公式(3,1):integral f...本文首先介绍了Gdel的不完全性定理和不可判定的概念。其次指出在二阶的标准分析模型M中,普遍存在不可判定的积分公式,如A_6:integral from n=0 to =∞sintdt=1等。第三,本文介绍了物理学Coulomb散射中的通用的数学公式(3,1):integral from ((d^3x/|x|)e^(-iq·x)=4π/|q|~2并证明了A_6和(3,1)的等价性。第四,根据Gdel的不完全性定理和不可判定的概念,本文认为(3,1),或等价地数学公式A_6可以作为物理学中使用的局部的数学公理。展开更多
The main design of this paper is to determine once and for all the true nature and status of the sequence of the prime numbers, or primes—that is, 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, and so on. The ma...The main design of this paper is to determine once and for all the true nature and status of the sequence of the prime numbers, or primes—that is, 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, and so on. The main conclusion revolves entirely around two points. First, on the one hand, it is shown that the prime sequence exhibits an extremely high level of organization. But second, on the other hand, it is also shown that the clearly detectable organization of the primes is ultimately beyond human comprehension. This conclusion runs radically counter and opposite—in regard to both points—to what may well be the default view held widely, if not universally, in current theoretical mathematics about the prime sequence, namely the following. First, on the one hand, the prime sequence is deemed by all appearance to be entirely random, not organized at all. Second, on the other hand, all hope has not been abandoned that the sequence may perhaps at some point be grasped by human cognition, even if no progress at all has been made in this regard. Current mathematical research seems to be entirely predicated on keeping this hope alive. In the present paper, it is proposed that there is no reason to hope, as it were. According to this point of view, theoretical mathematics needs to take a drastic 180-degree turn. The manner of demonstration that will be used is direct and empirical. Two key observations are adduced showing, 1), how the prime sequence is highly organized and, 2), how this organization transcends human intelligence because it plays out in the dimension of infinity and in relation to π. The present paper is part of a larger project whose design it is to present a complete and final mathematical and physical theory of rational human intelligence. Nothing seems more self-evident than that rational human intelligence is subject to absolute limitations. The brain is a material and physically finite tool. Everyone will therefore readily agree that, as far as reasoning is concerned, there are things that展开更多
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. A possible generalization of Löb’s theorem...In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. A possible generalization of Löb’s theorem is considered. Main results are: 1) , 2) , 3) , 4) , 5) let k be inaccessible cardinal then .展开更多
基金supported by the Natural Science Foundation of Liaoning Province,China (Grant No. 2009A646)
文摘In this paper,we extend fermions tunneling radiation to the case of five-dimensional charged black holes by introducing a set of appropriate matrices γμ for general covariant Dirac equation of 1/2 spin charged Dirac particles in the electromagnetic field.It is expected that our result can strengthen the validity and power of the tunneling method.We take the charged Gdel black holes in minimal five-dimensional gauged supergravity for example in order to present a reasonable extension of the tunneling method.As a result,we get fermions tunneling probability of the black hole and the Hawking temperature near the event horizon.
基金Project supported by the Scientific Research Foundation of the Education Department of Liaoning Province, China （Grant No. L2011195）.
文摘The aim of this paper is to investigate the area spectrum of the three-dimensional Godel black hole by using two different methods. The result shows that the area spectrum of the black hole is △A = 8πl2p, which confirms the initial proposal of Bekenstein that the area spectrum is independent of black hole parameters and the spacing is 8πl2p.
文摘If the concept of proof （including arithmetic proof） is syntactically restricted to closed sentences （or their Godel numbers）, then the standard accounts of Godel＇s Incompleteness Theorems （and Lob＇s Theorem） are blocked. In these standard accounts （Godel＇s own paper and the exposition in Boolos＇ Computability and Logic are treated as exemplars）, it is assumed that certain formulas （notably so called ＂Godel sentences＂） containing the Godel number of an open sentence and an arithmetic proof predicate are closed sentences. Ordinary usage of the term ＂provable＂ （and indeed ＂unprovable＂） favors their restriction to closed sentences which unlike so-called open sentences can be true or false. In this paper the restricted form of provability is called strong provability or unprovability. If this concept of proof is adopted, then there is no obvious alternative path to establishing those theorems.
文摘Godel asserts that his philosophy falls under the category of conceptual realism. This paper gives a general picture of GOdel＇s conceptual realism＇s basic doctrines, and gives a way to understand conceptual realism in the background of Leibniz＇s and Kant＇s philosophies. Among philosophers of mathematics, there is a widespread view that Platonism encounters an epistemological difficulty because we do not have sensations of abstract objects. In his writings, Grdel asserts that we have mathematical intuitions of mathematical objects. Some philosophers do not think it is necessary to resort to intuition to defend Platonism, and other philosophers think that the arguments resorting to intuition are too naive to be convincing. I argue that the epistemic difficulty is not particular to Platonism; when faced with skepticism, physicalists also need to give an answer concerning the relationship between our experience and reality. Grdel and Kant both think that sensations or combinations of sensations are not ideas of physical objects, but that, to form ideas of physical objects, concepts must be added. However, unlike Kant, Grdel thinks that concepts are not subjective but independent of our minds. Based on my analysis of Grdel＇s conceptual realism, I give an answer to the question in the title and show that arguments resorting to intuition are far from naive, despite what some philosophers have claimed.
文摘本文首先介绍了Gdel的不完全性定理和不可判定的概念。其次指出在二阶的标准分析模型M中,普遍存在不可判定的积分公式,如A_6:integral from n=0 to =∞sintdt=1等。第三,本文介绍了物理学Coulomb散射中的通用的数学公式(3,1):integral from ((d^3x/|x|)e^(-iq·x)=4π/|q|~2并证明了A_6和(3,1)的等价性。第四,根据Gdel的不完全性定理和不可判定的概念,本文认为(3,1),或等价地数学公式A_6可以作为物理学中使用的局部的数学公理。
文摘The main design of this paper is to determine once and for all the true nature and status of the sequence of the prime numbers, or primes—that is, 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, and so on. The main conclusion revolves entirely around two points. First, on the one hand, it is shown that the prime sequence exhibits an extremely high level of organization. But second, on the other hand, it is also shown that the clearly detectable organization of the primes is ultimately beyond human comprehension. This conclusion runs radically counter and opposite—in regard to both points—to what may well be the default view held widely, if not universally, in current theoretical mathematics about the prime sequence, namely the following. First, on the one hand, the prime sequence is deemed by all appearance to be entirely random, not organized at all. Second, on the other hand, all hope has not been abandoned that the sequence may perhaps at some point be grasped by human cognition, even if no progress at all has been made in this regard. Current mathematical research seems to be entirely predicated on keeping this hope alive. In the present paper, it is proposed that there is no reason to hope, as it were. According to this point of view, theoretical mathematics needs to take a drastic 180-degree turn. The manner of demonstration that will be used is direct and empirical. Two key observations are adduced showing, 1), how the prime sequence is highly organized and, 2), how this organization transcends human intelligence because it plays out in the dimension of infinity and in relation to π. The present paper is part of a larger project whose design it is to present a complete and final mathematical and physical theory of rational human intelligence. Nothing seems more self-evident than that rational human intelligence is subject to absolute limitations. The brain is a material and physically finite tool. Everyone will therefore readily agree that, as far as reasoning is concerned, there are things that
文摘In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. A possible generalization of Löb’s theorem is considered. Main results are: 1) , 2) , 3) , 4) , 5) let k be inaccessible cardinal then .
