Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A course in constructive algebra / Ray Mines, Fred Richman, Wim Ruitenburg
| A course in constructive algebra / Ray Mines, Fred Richman, Wim Ruitenburg |
| Autore | Mines, Ray |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1988 |
| Disciplina | 512 |
| Altri autori (Persone) |
Richman, Fred
Ruitenburg, Wim |
| Collana | Universitext |
| Soggetto non controllato |
Algebra
Teoria delle equazioni Calcolo vettoriale |
| ISBN | 0-387-96640-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001111110403321 |
Mines, Ray
|
||
| New York [etc.] : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Course in Constructive Algebra / Ray Mines, Fred Richman, Wim Ruitenburg
| A Course in Constructive Algebra / Ray Mines, Fred Richman, Wim Ruitenburg |
| Autore | Mines, Ray |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | xi, 344 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Richman, Fred
Ruitenburg, Wim |
| Soggetto topico |
13-XX - Commutative algebra [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03F65 - Other constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Algebra
Fields Galois theory Matrices Matrix Transformation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268998 |
|
Mines, Ray
|
||
| New York, : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Constructive Algebra / Ray Mines, Fred Richman, Wim Ruitenburg
| A Course in Constructive Algebra / Ray Mines, Fred Richman, Wim Ruitenburg |
| Autore | Mines, Ray |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | xi, 344 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Richman, Fred
Ruitenburg, Wim |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F65 - Other constructive mathematics [MSC 2020] 13-XX - Commutative algebra [MSC 2020] |
| Soggetto non controllato |
Algebra
Fields Galois theory Matrices Matrix Transformation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The constructive approach to mathematics has enjoyed a renaissance, caused in large part by the appearance of Errett Bishop's book Foundations of constr"uctiue analysis in 1967, and by the subtle influences of the proliferation of powerful computers. Bishop demonstrated that pure mathematics can be developed from a constructive point of view while maintaining a continuity with classical terminology and spirit; much more of classical mathematics was preserved than had been thought possible, and no classically false theorems resulted, as had been the case in other constructive schools such as intuitionism and Russian constructivism. The computers created a widespread awareness of the intuitive notion of an effecti ve procedure, and of computation in principle, in addi tion to stimulating the study of constructive algebra for actual implementation, and from the point of view of recursive function theory. In analysis, constructive problems arise instantly because we must start with the real numbers, and there is no finite procedure for deciding whether two given real numbers are equal or not (the real numbers are not discrete) . The main thrust of constructive mathematics was in the direction of analysis, although several mathematicians, including Kronecker and van der waerden, made important contributions to construc tive algebra. Heyting, working in intuitionistic algebra, concentrated on issues raised by considering algebraic structures over the real numbers, and so developed a handmaiden'of analysis rather than a theory of discrete algebraic structures. |
| Record Nr. | UNICAMPANIA-VAN00268998 |
|
Mines, Ray
|
||
| New York, : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive mathematics : Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman
| Constructive mathematics : Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
| Autore | Richman, Fred |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1981 |
| Descrizione fisica | VI, 347 p. ; 24 cm |
| Disciplina | 519 |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 3-540-10850-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001023000403321 |
|
Richman, Fred
|
||
| Berlin [etc.] : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
| Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman |
| Autore | Richman, Fred |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | vi, 347 p. ; 25 cm. |
| Disciplina |
510
511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 873 |
| Soggetto topico |
Constructive mathematics - Congresses
Intuitionistic mathematics - Congresses Mathematical logic and foundations - Congresses Proof theory - Congresses |
| ISBN | 3540108505 |
| Classificazione |
AMS 03-06
AMS 03-XX AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000784719707536 |
|
Richman, Fred
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University Conference held al Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
| Constructive mathematics : proceedings of the New Mexico State University Conference held al Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1981 |
| Descrizione fisica | VI, 347 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Logica matematica - Congressi |
| ISBN | 3-540-10850-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014406 |
| Berlin [etc.] : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Constructive mathematics [e-book] : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, August 11–15, 1980 / edited by Fred Richman
| Constructive mathematics [e-book] : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, August 11–15, 1980 / edited by Fred Richman |
| Pubbl/distr/stampa | Berlin : Springer, 1981 |
| Descrizione fisica | 1 online resource (vii, 347 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | Richman, Fred |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 873 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540387596 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002196839707536 |
| Berlin : Springer, 1981 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman
| Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | x, 350 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculation Constructive mathematics Finite Mathematics Ordinals Recursion Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261785 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman
| Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | x, 350 p. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculation Constructive Mathematics Finite Mathematics Ordinals Recursion Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00261785 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Numbers and symmetry : an intoduction to algebra / Bernard L. Johnston, Frad Richman
| Numbers and symmetry : an intoduction to algebra / Bernard L. Johnston, Frad Richman |
| Autore | Johnston, Bernard L. |
| Pubbl/distr/stampa | Boca Raton [etc.] : CRC Press, copyr. 1997 |
| Descrizione fisica | 260 p. : ill. ; 24 cm |
| Disciplina | 51202 |
| Soggetto non controllato | algebra |
| ISBN | 0-8493-0301-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000261510203316 |
|
Johnston, Bernard L.
|
||
| Boca Raton [etc.] : CRC Press, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
