×

zbMATH — the first resource for mathematics

Kurahashi, Taishi

Compute Distance To:
Author ID: kurahashi.taishi Recent zbMATH articles by "Kurahashi, Taishi"
Published as: Kurahashi, T.; Kurahashi, Taishi
Documents Indexed: 24 Publications since 2003

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 38 times in 26 Documents Cited by Year
On proofs of the incompleteness theorems based on Berry’s paradox by Vopěnka, Chaitin, and Boolos. Zbl 1257.03088
Kikuchi, Makoto; Kurahashi, Taishi; Sakai, Hiroshi
6
2012
Water quality control by bank placement based on optimal control and finite element method. Zbl 1025.76008
Kurahashi, T.; Kawahara, M.
6
2003
Arithmetical completeness theorem for modal logic \(\mathsf{K}\). Zbl 1437.03090
Kurahashi, Taishi
5
2018
Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations. Zbl 1437.03167
Kurahashi, Taishi
3
2018
Application of second-order adjoint technique for conduit flow problem. Zbl 1284.76293
Kurahashi, T.; Kawahara, M.
3
2007
Henkin sentences and local reflection principles for Rosser provability. Zbl 1402.03084
Kurahashi, Taishi
2
2016
Investigations on boundary temperature control analysis considering a moving body based on the adjoint variable and the fictitious domain finite element methods. Zbl 1352.80008
Kurahashi, T.
2
2015
Rosser-type undecidable sentences based on Yablo’s paradox. Zbl 1339.03055
Kurahashi, Taishi
2
2014
Examination for adjoint boundary conditions in initial water elevation estimation problems. Zbl 1425.76040
Kurahashi, T.
2
2010
Generalizations of Gödel’s incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic. Zbl 1426.03038
Kikuchi, Makoto; Kurahashi, Taishi
1
2017
Universal Rosser predicates. Zbl 1419.03034
Kikuchi, Makoto; Kurahashi, Taishi
1
2017
Illusory models of Peano arithmetic. Zbl 1388.03070
Kikuchi, Makoto; Kurahashi, Taishi
1
2016
Liar-type paradoxes and the incompleteness phenomena. Zbl 1350.03019
Kikuchi, Makoto; Kurahashi, Taishi
1
2016
Arithmetical interpretations and Kripke frames of predicate modal logic of provability. Zbl 1267.03056
Kurahashi, Taishi
1
2013
Examinations for terminal condition of Lagrange multiplier for heat transfer control problems. Zbl 1158.80307
Kurahashi, T.; Kawahara, M.
1
2008
Flood control of urban stormwater conduit systems using the finite element method. Zbl 1104.76061
Kurahashi, T.; Kawahara, M.
1
2006
Arithmetical completeness theorem for modal logic \(\mathsf{K}\). Zbl 1437.03090
Kurahashi, Taishi
5
2018
Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations. Zbl 1437.03167
Kurahashi, Taishi
3
2018
Generalizations of Gödel’s incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic. Zbl 1426.03038
Kikuchi, Makoto; Kurahashi, Taishi
1
2017
Universal Rosser predicates. Zbl 1419.03034
Kikuchi, Makoto; Kurahashi, Taishi
1
2017
Henkin sentences and local reflection principles for Rosser provability. Zbl 1402.03084
Kurahashi, Taishi
2
2016
Illusory models of Peano arithmetic. Zbl 1388.03070
Kikuchi, Makoto; Kurahashi, Taishi
1
2016
Liar-type paradoxes and the incompleteness phenomena. Zbl 1350.03019
Kikuchi, Makoto; Kurahashi, Taishi
1
2016
Investigations on boundary temperature control analysis considering a moving body based on the adjoint variable and the fictitious domain finite element methods. Zbl 1352.80008
Kurahashi, T.
2
2015
Rosser-type undecidable sentences based on Yablo’s paradox. Zbl 1339.03055
Kurahashi, Taishi
2
2014
Arithmetical interpretations and Kripke frames of predicate modal logic of provability. Zbl 1267.03056
Kurahashi, Taishi
1
2013
On proofs of the incompleteness theorems based on Berry’s paradox by Vopěnka, Chaitin, and Boolos. Zbl 1257.03088
Kikuchi, Makoto; Kurahashi, Taishi; Sakai, Hiroshi
6
2012
Examination for adjoint boundary conditions in initial water elevation estimation problems. Zbl 1425.76040
Kurahashi, T.
2
2010
Examinations for terminal condition of Lagrange multiplier for heat transfer control problems. Zbl 1158.80307
Kurahashi, T.; Kawahara, M.
1
2008
Application of second-order adjoint technique for conduit flow problem. Zbl 1284.76293
Kurahashi, T.; Kawahara, M.
3
2007
Flood control of urban stormwater conduit systems using the finite element method. Zbl 1104.76061
Kurahashi, T.; Kawahara, M.
1
2006
Water quality control by bank placement based on optimal control and finite element method. Zbl 1025.76008
Kurahashi, T.; Kawahara, M.
6
2003

Citations by Year