# 뺄셈이 기능적으로 완성되다

> Clean Markdown view of GeekNews topic #11239. Use the original source for factual precision when an external source URL is present.

## Metadata

- GeekNews HTML: [https://news.hada.io/topic?id=11239](https://news.hada.io/topic?id=11239)
- GeekNews Markdown: [https://news.hada.io/topic/11239.md](https://news.hada.io/topic/11239.md)
- Type: GN+
- Author: [neo](https://news.hada.io/@neo)
- Published: 2023-10-09T10:17:14+09:00
- Updated: 2023-10-09T10:17:14+09:00
- Original source: [orlp.net](https://orlp.net/blog/subtraction-is-functionally-complete/)
- Points: 3
- Comments: 1

## Topic Body

- IEEE-754 부동 소수점 뺄셈의 맥락에서 기능적 완전성 개념에 대한 기사
- 모든 이진 회로가 부동 소수점 뺄셈만을 사용하여 구축될 수 있다는 설명
- IEEE 754-2019 표준, 6.3 섹션에 대한 상세 설명, 피연산자나 결과가 0 또는 무한일 때 적용되는 부호 비트와 규칙
- 뺄셈이 합으로 간주되는 방법과 0이 부호를 가질 수 있는 방법, -0과 +0이 별개의 개체임을 저자가 보여줌
- 0을 뺀 결과를 보여주는 참/거짓 표 제시, -0이 거짓이고 +0이 참임을 제안
- 결과 참/거짓 표는 A∨¬B 또는 B→A (IMPLY 게이트로도 알려짐)와 동등하며, 이는 기능적으로 완전함
- NAND와 NOR이 특정 상수 값에 접근하지 않아도 자체적으로 기능적으로 완전하다는 저자의 설명
- 부동 소수점 뺄셈을 사용하여 NOT 게이트와 OR 게이트를 구축하는 Python 데모 포함
- OR과 NOT을 사용하여 AND와 XOR 같은 다른 게이트를 구축하는 방법을 저자가 보여줌
- 부동 소수점 연산만을 사용하여 정수를 구현하는 Rust 구현으로 기사를 마무리, 두 개의 8비트 정수를 부동 소수점 명령어를 사용하여 더하는 방법을 보여줌

## Comments



### Comment 19813

- Author: asd142513
- Created: 2023-10-11T13:59:47+09:00
- Points: 1

제목에 오류가 있네요. 뺄셈이 완성된게 아니라 뺄셈으로 모든 기능을 표현할 수 있다는 의미로 기능적으로 완전하다고 표현했네요