Springer Science and Business Media LLC
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Mirror notation: symbol manipulation without inscription manipulation
Springer Science and Business Media LLC - Tập 28 - Trang 141-164 - 1999
Stereotypically, computation involves intrinsic changes to the medium of representation: writing new symbols, erasing old symbols, turning gears, flipping switches, sliding abacus beads. Perspectival computation leaves the original inscriptions untouched. The problem solver obtains the output by merely alters his orientation toward the input. There is no rewriting or copying of the input inscripti...... hiện toàn bộ
Chunk and Permeate, a Paraconsistent Inference Strategy. Part I: The Infinitesimal Calculus
Springer Science and Business Media LLC - - 2004
Quantum Mechanical Unbounded Operators and Constructive Mathematics – a Rejoinder to Bridges
Springer Science and Business Media LLC - Tập 26 - Trang 121-127 - 1997
As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of ‘closed operator’, this does not affect my point that neither the classical unbounded operators standardly rec...... hiện toàn bộ
Modal tableau calculi and interpolation
Springer Science and Business Media LLC - Tập 12 Số 4 - Trang 403-423 - 1983
Stability and Paradox in Algorithmic Logic
Springer Science and Business Media LLC - Tập 36 Số 1 - Trang 61-95 - 2006
Tổng số: 1,106
- 1
- 2
- 3
- 4
- 5
- 6
- 10