Home
Forms Library
Kreisels unwinding program

Kreisels unwinding program 2025

Kreisels unwinding program Preview on Page 1

Show details

4.9 out of 5

27 votes

The document discusses Georg Kreisel's 'unwinding' program, which aims to extract constructive content from non-constructive mathematical proofs. It highlights Kreisel's significant contributions to proof theory and constructivity over the past forty years, particularly his efforts to reinterpret non-finitist proofs in a finitist framework. The analysis evaluates the success of Kreisel's program, noting that while the theoretical foundations are strong, practical applications have been limited and often questioned. The document also reflects on Kreisel's philosophical motivations and the mixed results of applying his ideas to various mathematical problems.

Here's how it works

01. Edit your form online

Type text, add images, blackout confidential details, add comments, highlights and more.

02. Sign it in a few clicks

Draw your signature, type it, upload its image, or use your mobile device as a signature pad.

03. Share your form with others

Send it via email, link, or fax. You can also download it, export it or print it out.

How to modify Kreisels unwinding program online

Ease of Setup

DocHub User Ratings on G2

Ease of Use

DocHub User Ratings on G2

With DocHub, making changes to your paperwork requires only a few simple clicks. Make these quick steps to modify the PDF Kreisels unwinding program online for free:

Register and log in to your account. Sign in to the editor with your credentials or click on Create free account to test the tool’s functionality.
Add the Kreisels unwinding program for redacting. Click on the New Document option above, then drag and drop the sample to the upload area, import it from the cloud, or using a link.
Modify your document. Make any changes needed: add text and photos to your Kreisels unwinding program, underline details that matter, remove sections of content and substitute them with new ones, and add icons, checkmarks, and fields for filling out.
Finish redacting the form. Save the modified document on your device, export it to the cloud, print it right from the editor, or share it with all the parties involved.

Our editor is super easy to use and efficient. Give it a try now!

Try more PDF tools