فقدان المعلومات بالضرورة: تدقيق تحتية الفيزياء الحاسوبية هو تدقيق منهجي لل substrate العددي الذي يتم فيه أداء الفيزياء الحاسوبية الحديثة. الورقة لا تتعارض مع فيزياء الاستمرارية كنظرية. بل تسأل سؤالًا أضيق وأكثر عملية: عندما يتم تقييم معادلات الاستمرارية على أجهزة ثنائية بدقة محدودة، ماذا يتم حسابه فعليًا، ومدى اكتمال الوصف لهذه الوضعية العددية؟ تقوم الورقة بتطوير أربعة ملاحظات مترابطة: أولاً، العديد من الطرق التي قدمت كفيزياء شبكية منفصلة تُفهم بشكل أفضل كطرق حقل ناقل، حيث يقدم اللاتيس بنية العنوان بينما يتم حمل المحتوى الفيزيائي بواسطة كميات مستمرة لكل موقع. ثانيًا، تحتوي المعادلات الرئيسية على ثوابت متعالية مثل π و e، والتي لا يمكن لأي substrate محدود تمثيلها بدقة ويجب اقتراضها تقريبًا. ثالثًا، فإن substrate النقاط العائمة نفسه محدود، وفقدان المعلومات ومتوقف على العمليات، ومع ذلك نادرًا ما يُعتبر ميزانية دقته جزءًا من النتيجة المبلغ عنها. رابعًا، إحدى الاعتراضات القياسية على عدم الجدوى بشأن الحسابات الأكثر صدقًا مع substrate مبالغ فيها: متطلبات العنوان لتدوين الحسابات على نطاق substrate كبيرة ولكنها ليست غير معقولة. لا تقترح الورقة فيزياء بديلة. استنتاجها هو منهجي. يجب أن تُعتبر سجلات الدقة، والحدود التمثيلية، والثوابت المقترضة، والأخطاء المعتمدة على substrate أجزاء يمكن الإبلاغ عنها من نتيجة الفيزياء العددية بدلاً من كونها ظروف خلفية صامتة يتم استيعابها بواسطة الآلة.
ألان بول (الثلاثاء)، درس هذا السؤال.