# An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor

## on ** **

**251**views

This paper examines a proof of incompleteness by Russell O’Connor, who claims that his proof has been verified by computer. This paper demonstrates that the proof has a fundamental error of logic ...

This paper examines a proof of incompleteness by Russell O’Connor, who claims that his proof has been verified by computer. This paper demonstrates that the proof has a fundamental error of logic which renders the proof invalid.

### Statistics

### Views

- Total Views
- 251
- Views on SlideShare
- 251
- Embed Views

### Actions

- Likes
- 0
- Downloads
- 0
- Comments
- 0

### Accessibility

### Categories

### Upload Details

Uploaded via SlideShare as Adobe PDF

### Usage Rights

© All Rights Reserved

No comments yet1Full NameComment goes here.