E-LIB Suche - Ergebnisse für: Sieg, Wilfried

1

A new perspective on completeness and finitist consistency:

Santos, Paulo Guilherme ; Sieg, Wilfried ; Kahle, Reinhard
Journal of Logic and Computation. , 2023

Link: https://doi.org/10.1093/..

2

Proofs as Objects:

, In: Axiomatic Thinking I,

Sieg, Wilfried - p. 165-183 , 2022

Link: https://doi.org/10.1007/..

3

Human-Centered Automated Proof Search:

Sieg, Wilfried ; Derakhshan, Farzaneh
Journal of Automated Reasoning. 65 (2021) 8 - p. 1153-1190 , 2021

Link: https://doi.org/10.1007/..

4

The Ways of Hilbert's Axiomatics: Structural and Formal:

, In: The Prehistory of Mathematical Structuralism,

Sieg, Wilfried - p. 142-165 , 2020

Link: https://doi.org/10.1093/..

5

Methodological Frames: Paul Bernays, Mathematical Structura..:

, In: The Prehistory of Mathematical Structuralism,

Sieg, Wilfried - p. 352-382 , 2020

Link: https://doi.org/10.1093/..

6

NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEORE..:

SIEG, WILFRIED ; WALSH, PATRICK
The Review of Symbolic Logic. 14 (2019) 1 - p. 250-284 , 2019

Link: https://doi.org/10.1017/..

7

The Cantor–Bernstein theorem: how many proofs?:

Sieg, Wilfried
Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 377 (2019) 2140 - p. 1-11 , 2019

Link: https://www.jstor.org/st..

8

K-graph Machines: generalizing Turing's machines and argume..:

, In: Gödel '96,

Sieg, Wilfried ; Byrnes, John - p. 98-119 , 2017

Link: https://doi.org/10.1017/..

9

Reinhard Kahle, Michael Rathjen (eds.): "Gentzen's Centenar..:

Sieg, Wilfried
Jahresbericht der Deutschen Mathematiker-Vereinigung. 119 (2017) 3 - p. 201-211 , 2017

Link: https://doi.org/10.1365/..

10

Calculations by man and machine: conceptual analysis*:

, In: Reflections on the Foundations of Mathematics,

Sieg, Wilfried - p. 390-409 , 2017

Link: https://doi.org/10.1017/..

11

IN MEMORIAM: SOLOMON FEFERMAN (1928–2016):

Parsons, Charles ; Sieg, Wilfried
The Bulletin of Symbolic Logic. 23 (2017) 3 - p. 337-344 , 2017

Link: https://doi.org/10.1017/..

12

Reflections on the foundations of mathematics

essays in honor of Solomon Feferman Lecture notes in logic ; 15

Sieg, Wilfried ; Sommer, Richard ; Talcott, Carolyn. , 2016

Link: https://doi.org/10.1017/..

13

The effect of blended instruction on accelerated learning:

Patchan, Melissa M. ; Schunn, Christian D. ; Sieg, Wilfried.
Technology, Pedagogy and Education. 25 (2015) 3 - p. 269-286 , 2015

Link: https://doi.org/10.1080/..

14

Step by recursive step: Church's analysis of effective calc..:

, In: Turing's Legacy,

Sieg, Wilfried - p. 434-466 , 2014

Link: https://doi.org/10.1017/..

15

David Hilbert's Lectures on the Foundations of Arithmetic a..

SpringerLink, Bücher

Ewald, William Bragg ; Sieg, Wilfried , 2013

Link: https://doi.org/10.1007/..