This page is keyboard accessible:
• Use Tab, Shift + Tab keys to traverse the main menu. To enter a sub-menu use the Right Arrow key. To leave a sub-menu use the Left Arrow or the Escape key.
• The Enter or the Space key opens the active menu item.
• To skip the menu and move to the main content, press Tab after the page loads to reveal a skip button.
• To get back to the top of the page anytime, press the Home key.
• For more information, click here: Accessibility   Close this tip.

Note: Full functionality of this web page requires JavaScript to be enabled in your browser.
 

Site Design

Over the past few years browsers have become much more standardized and there is little difference in appearance and functionality of most modern browsers. This has made website design much easier and has enabled the use of techniques which would previously not have been possible. In light of this, no attempt has been made to make this site work with Internet Explorer 8 or below - Internet Explorer 8 is now over five years old and it is not worthwhile trying to hack up workarounds for its problems. Most of those who browse using Internet Explorer 8 or lower are either too lazy or too stupid to use a modern browser; web designers should not be wasting their time pandering to such users. That leaves the unfortunate few who know that they should be using a modern browser, but who are in a situation where it is beyond their control; such users accept that web sites may not appear of function properly in the browser they are stuck with, but will not blame the web site designer for such deficiencies.

 

In view of the increasing use of mobile phones and tablets, the site layout is a screen size responsive version to enable better viewing on such devices, and takes into account touch screen usage.

 

The design has been tested and functions correctly with most browsers released within the past five years, including Internet Explorer 9. The design has also been tested on Android and iPhone and iPad devices with satisfactory results.

 

I have attempted to make the website as accessible as possible to users who have limited or no use of a mouse. For the general layout of the site, I used a three column layout, which I have made responsive with media queries.

 

For the menu, after quite a bit of looking at alternatives, I used a design based on ideas in a review of accessible menus by Terrill Thompson. The site now incorporates many features of WAI-ARIA, a system that is designed to make it easier to make web pages accessible for all users. I have also included skip links that allow the user to skip past the menu. I have made a number of minor changes to suit the responsive layout, so the menus are now vertical.

 

For the tooltips I had been using jQuery UI Tooltips, which have in-built accessibility features. However, tooltips can be problematic with touch screens, since the mouse hover function has no direct counterpart in touch mode. In view of this I decided it would be better to have the tooltips appear only on a click, and appear in line with the text, rather than over the text (so that no text is obscured by the tooltip). These tooltips are operated by JavaScript coded by myself; if JavaScript is disabled, there are fall-back links instead of the tooltips. I have also added code to make footnotes appear as tooltips in the same way. Maintaining footnotes can be a headache; if one wants to later add or delete a footnote every subsequent footnote has to be renumbered. Because of this, I initially added JavaScript to renumber any footnotes in numerical sequence when the page loads. But this still meant very careful cross-reference numbering was still required when adding footnotes. After considering matters for a while, I decided that a footnote system that was completely devoid of any requirement on the user to add any numbering would be the best option for the user. Hence I devised an easy footnote system which makes it a simple matter to add, delete, or edit footnotes, or to move the place in the text where the footnote reference number is to appear. Adding a new footnote is now a simple matter of adding a tiny snippet of HTML code. The details of the system, including the code, are at Easy Footnotes for Web Pages (Accessibility friendly). If JavaScript is not enabled, the footnotes will still appear, within the text, and the content and the semantics will still be present.

 

In the site, much of the functionality is implemented using JavaScript; while full functionality will not be achieved if JavaScript is disabled, the site is usable with JavaScript disabled.

 

Taking into consideration the features now offered by most browsers, I decided that the need for a cross-browser library like jQuery was fast diminishing, and I have rewritten the code to function without the jQuery library. The page load time is now noticeably faster than when using jQuery.

 

 

Accessibility - Keyboard Quick Guide

  • To get back to the top of the page and to access the menu at anytime, press the Home key, and then the Tab key.

 

Menu

  • The Tab and Shift Tab keys traverse through the top menu items.
  • The Up and Down arrow keys traverse through the menus and the sub-menus.
  • The Right arrow key, the Enter key, and the Space key can be used to move from the main menu to a sub-menu. The Left arrow key can be used to move from a sub-menu to the main menu.
  • The Escape key closes a sub-menu if it is open.
  • Pressing Enter or the Space key opens the active menu item.
  • Note: When using the keyboard, the mouse cursor should be well away from the menu area; if the mouse cursor is in or near the menu area, the focus may change unexpectedly. For example, if the user scrolls the page or if the page scrolls automatically, it may appear to the page that the mouse has moved, and the focus may change.

 

Skipping past the menu

  • There is a link that allows you to skip past the menu to the main content; it will appear if you press the Tab key after the page has finished loading. This will take you to the main content.

 

 

If you like the design, or if you have any suggestions, I would like to hear from you. Equally, if you do not like it, please Contact me and tell me why.

 

 

NEWS

Peter Smith’s ‘Proof’

It has come to my notice that, when asked about the demonstration of the flaw in his proof (see A Fundamental Flaw in an Incompleteness Proof by Peter Smith PDF), Smith refuses to engage in any logical discussion, and instead attempts to deflect attention away from any such discussion. If any other reader has tried to engage with Smith regarding my demonstration of the flaw, I would be interested to know what the outcome was.

 

 

There’s something about Gödel by Francesco Berto

There is a new addition to the page Yet another flawed incompleteness proof, where Berto’s proof of incompleteness in his book There’s something about Gödel comes under scrutiny.

 

 

Easy Footnotes

I found that making, adding or deleting footnotes in the traditional manner proved to be a major pain. So I developed a different system for footnotes which makes inserting or changing footnotes a doddle. You can check it out at Easy Footnotes for Web Pages (Accessibility friendly).

 

 

O’Connor’s “computer checked” proof

I have now added a new section to my paper on Russell O’Connor’s claim of a computer verified incompleteness proof. This shows that the flaw in the proof arises from a reliance on definitions that include unacceptable assumptions - assumptions that are not actually checked by the computer code. See also the new page Representability.

 

 

New page on Chaitin’s Constant

There is now a new page on Chaitin’s Constant (Chaitin’s Omega), which demonstrates that Chaitin has failed to prove that it is actually algorithmically irreducible.

 

Previous Blog Posts  

 

16th Mar 2015 Bishops Dancing with Pixies?

 

23rd Feb 2015 Artificial Intelligence

 

31 Mar 2015 Cranks and Crackpots

 

30 Apr 2015 The Chinese Room

 

Links  

 

For convenience, there are now two pages on this site with links to various material relating to Gödel and the Incompleteness Theorem

 

– a page with general links:

Gödel Links

 

– and a page relating specifically to the Gödel mind-machine debate:

Gödel, Minds, and Machines

 

Printer Friendly

 

All pages on this website are printer friendly, and will print the main content in a convenient format. Note that the margins are set by your browser print settings.


Note: for some browsers JavaScript must be enabled for this to operate correctly.

 

Comments

 

Please note that this web site, like any other is a collection of various statements. Not all of this web site is intended to be factual. Some of it is personal opinion or interpretation.

 

If you prefer to ask me directly about the material on this site, please send me an e-mail with your query, and I will attempt to reply promptly.

 

Feedback about site design would also be appreciated so that I can improve the site.

 


Copyright © James R Meyer 2012 - 2017  
www.jamesrmeyer.com